M hat 3 Elemente, also 8 Teilmengen.
A={ {}, leere
{1} , {{1,2}} , {{1,{2},3}} einelementige
{ 1,{1,2}} , {1,{1,{2},3}} , { {1,2},{1,{2},3} } zweielementige
{ 1,{1,2},{1,{2},3} } } M selber
B:= { a ∈ A | {1,2} ∈ a}
= { {{1,2}} , { 1,{1,2}} , { {1,2},{1,{2},3} } , { 1,{1,2},{1,{2},3} } }
Aus M ⊆ N und N ⊆ P und P ⊆ M folgt N = P
Vor (1) M ⊆ N und (2) N ⊆ P und (3) P ⊆ M
Beh. N=P
Bew.: Sei x∈N. Wegen (2) folgt x∈P
Sei x∈P. Wegen (3) folgt x∈M
wegen (1) folgt x∈N
Also ist jedes x∈N. auch in P und
und jedes x∈P auch in N ==> N=P q.e.d.