Ordnungsrelation muss doch nur transitiv sein.
Zum Beispiel "<" auf den reellen Zahlen ist das.
Die ist aber z.B. nicht reflexiv; denn dann müsste ja x<x für alle x∈ℝ gelten.
Halbordnungen müssen aber reflexiv sein und sogar noch antisymmetrisch.
Das wäre "<" allerdings.
