また
lim[n→∞]#(A∩[-n,n-1])/2n
(またはlim[n→∞]#(A∩[-n,n])/(2n+1))
が存在すればp(A)と一致することも分かるので
Z上の存在割合みたいなものの拡張概念であることも分かる