>>191
Ψ∈MAP(X,{0,})に対し AΨ={x∈X|Ψ(x)=1}を対応させれば
それがχの逆写像になっている。