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:)