>>704
こういう話らしい:


Xが集合とする。

Uが2^X上の超フィルターUとすると、
μ : 2^X→{0,1}を
μ(x)=0(x in U),
μ(x)=1(x notin U)
と定めて有限加法的測度(ブール代数の準同型)ができる。

逆に、有限加法的測度μ:2^X→{0,1}からU:=μ^{-1}(1)とすれば超フィルターができる。