空集Φ是任意子集Y的子集,∴f(Φ)是f(Y)的子集,若f(Φ)=Φ,则A=Φ.
若f(Φ)≠Φ,设A是f(Φ)的子集,X=A∩Φ,依题意f(X)=f(Φ)是f(A)∩f(Φ)的子集,
f(A)=f(Φ),于是令A=f(Φ),有f[f(Φ)]=f(Φ).
空集Φ是任意子集Y的子集,∴f(Φ)是f(Y)的子集,若f(Φ)=Φ,则A=Φ.
若f(Φ)≠Φ,设A是f(Φ)的子集,X=A∩Φ,依题意f(X)=f(Φ)是f(A)∩f(Φ)的子集,
f(A)=f(Φ),于是令A=f(Φ),有f[f(Φ)]=f(Φ).