元としてA自身と、空集合でない極小元xの二つがあるということです。
書き直すと A={A(A∈A), x(x≠Φ∧¬(x∈x))} の方がまだいいでしょうか?