φ(A)⊂Aなら
φ(φ(A))⊂φ(A)
となりφ(A)も方程式φ(X)⊂Xを満たす集合。
しかしE_0はかな方程式を満たす最小集合