Algorithmen und Datenstrukturen

Voraussetzung beim Sortieren 

Menge M Teilmenge der Grundmenge G(M ⊆ G)
 
binäre Relation "≤" über G mit den Eigenschaften :
 
  • vergleichbar
    • x, y G : x y y x
  • reflexiv
    • x G : x x
  • antisymmetrisch
    • x, y G : x  y x y ⇒ ¬(y x)
  • transitiv
    • ∀x, y, z ∈ G : x ≤ y ∧ y ≤ z ⇒ x ≤ z

Wir sagen: 
≤ definiert eine starke Totalordnung auf G
 
 

Diskussion