Seien M eine nichtleere Menge und die Relation ≼ auf der Potenzmenge P(M) von M durch
A ≼ B ⇔ A ⊆ B,
definiert. Zeigen Sie, dass diese Relation eine partielle Ordnung ist. Wann ist sie eine Totalordnung
Wie zeige ich das ?
Meine Lösung :
A ⊆ A und A ⊆A also reflexiv
A ⊆ B und B ⊆ A => A =B antisymmetrisch
A ⊆ B und B ⊆ C=> A ⊆ C transitiv
Also ist die Relation eine partielle Ordnung
Und falls die Relation konnex ist dann ist es eine Totalordnung
Reicht das als Lösung aus ?
Vielen Dank im Voraus:)