Halbordnung

Ordnungsrelationen sind in der Mathematik Verallgemeinerungen der „kleiner-gleich“-Beziehung. Sie erlauben es, Elemente einer Menge miteinander zu vergleichen. Eine Ordnungsrelation ist formal eine zweistellige Relation auf einer Menge mit bestimmten unten aufgeführten Eigenschaften, worunter immer die Transitivität ist. Ist eine Menge mit einer Ordnungsrelation gegeben, dann nennt man das Paar eine geordnete Menge. Meist bevorzugt man an Stelle der Schreibweise die sogenannte Infix-Notation . Außerdem wird für Ordnungsrelationen in den seltensten Fällen ein Symbol wie verwendet. Stattdessen verwendet man häufig Symbole wie , oder ähnliche. Die Schreibweise verwendet man als Abkürzung für „ und “. Dies erweist sich als zweckmäßig, da für Relationen größtenteils Rechenregeln gelten, die denen in (mit gewohntem „“) entsprechen. Es folgt eine Auflistung verschiedener Arten von Ordnungsrelationen mit Beispielen. Für Definitionen der Eigenschaften siehe transitiv, reflexiv und irreflexiv, asymmetrisch, antisymmetrisch, oder den Artikel Relation (Mathematik).