Anderes Wort für Halbordnung?

Erklärung für 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 R ⊆ M × M {\displaystyle R\subseteq M\times M} auf einer Menge M {\displaystyle M} mit bestimmten unten aufgeführten Eigenschaften, worunter immer die Transitivität ist. Ist eine Menge M {\displaystyle M} mit einer Ordnungsrelation R {\displaystyle R} gegeben, dann nennt man das Paar ( M , R ) {\displaystyle (M,R)} eine geordnete Menge. Meist bevorzugt man an Stelle der Schreibweise ( a , b ) ∈ R {\displaystyle (a,b)\in R} die sogenannte Infix-Notation a R b {\displaystyle a\,R\,b} . Außerdem wird für Ordnungsrelationen nur selten ein Symbol wie R {\displaystyle R} verwendet. Stattdessen verwendet man häufig Symbole wie ≤ {\displaystyle \leq } , ⪯ {\displaystyle \preceq } oder ähnliche. Die Schreibweisen a < b {\displaystyle a
Quelle: wikipedia.org