strict total order

Eine homogene Relation auf einer Menge \(M\) wird strenge totale Ordnng genannt, wenn für folgende Forderungen erfüllt sind:

• transitive Relation
• trichotome Relation