自然数の部分集合Aに対して、Σ[n∈A]1/n^s が絶対収束するs>0の下限を
Aの密度といいd(A)と表す。ただし、有限集合に対してはd(A)=0と定める。
0≦d(A)≦1