ついでに書くと
このp(A)については
p(-A)=p(A)
p(A+n)=p(A)
が成立することは定義からすぐ出るはず
前者はホントニすぐ(xn(-A)=xn(A))
後者はズレがどんどん無くなっていくから大丈夫のはず
でも1倍(自分自身)-1倍(-A)以外の
k倍(0≠k∈R::A,kA⊂Z)についても
p(A)=kp(kA)
とするにはどうしたらいいんだろ
自由帳フィルターFにさらに条件を課す必要は有りそう
(0倍は0A={ }もしくは{0}でいずれもp(0A)=0なので0倍というよりは∞倍みたいな感じね)