やっぱ
∀ε>0:{x>0::p(A)-ε<#(A∩[-x,x]-{0})/2x<p(A)+ε}∈F
の定義は筋が悪いかな
1個ぐらいのズレだからx→∞で無視できなくてはおかしい
また
R+の自由超フィルターを使って定義したのは
kF=F
が上手く使えたからだけど
Nの自由超フィルターで
kF⊂F
だけでなくて
kA∈F→A∈F
も条件にしておけば何とかならないだろうか
（でも余りが扱いづらい）