Kenne eure Definition nicht. Möglicherweise muss die
Relation nur transitiv sein.
Das kann man leicht zeigen: Wäre sie es nicht, dann gäbe es in
M Elemente a,b,c (nicht notwendig alle verschieden) mit
aRb und bRc aber nicht aRc.
Da M mindestens 3 Elemente hat, kann man zu diesen
a,b,c (Das sind möglicherweise nur 2 oder sogar nur eines)
noch Elemente hinzunehmen, dass man eine 3-elementige
Teilmenge N von M erhält, die a,b,c enthält.
Dort wäre die Einschränkung von R auf N dann auch
keine Ord.relation. Widerspruch !
