* Eine '''Relation in einer Menge''' ist genau dann eine '''Totalordnungsrelation''', wenn sie identitiv, transitiv und konnex ist. | * Eine '''Relation in einer Menge''' ist genau dann eine '''Totalordnungsrelation''', wenn sie identitiv, transitiv und konnex ist. |