linear order

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

• reflexive Relation
• Antisymmetrische Relation
• transitive Relation
• Totalität einer Relation