(i) ∀A∈P(M) : A⊂A (Reflexivität ),
Ist erfüllt, denn für alle x∈A gilt x∈A ==> x∈A
(ii) ∀A,B ∈P(M) : (A⊂B) ∧(B ⊂A) =⇒A= B (Antisymmetrie),
Entsprechend: Wenn für alle x gilt x∈A ==> x∈B
und x∈B ==> x∈A dann gilt A=B
(iii) ∀A,B,C ∈P(M) : (A⊂B) ∧(B ⊂C) =⇒A⊂C (Transitivität )
geht analog
Begr ünden Sie, ob diese Ordnungsrelation im Allgemeinen alternativ ist, d.h. f ür alle A,B ∈ P(M)
gilt eine der Inklusionen A⊂B oder B ⊂A.
Für {1,2} und {2,3}
gilt keins von beiden.