Das erste ist wohl OK, aber
"Und falls die Relation konnex ist dann ist es eine Totalordnung."
Vermutlich soll man aber etwas darüber sagen welche Eigenschaft die
Menge M haben muss, damit das gilt.
Und da meine ich, dass es keine 2 verschiedenen Elemente in M geben
darf; denn wenn etwa a≠b Elemente von M sind, dann
sind in P(M) sowohl {a} als auch {b} , aber keine ist Teilmenge
der anderen.