Ordnungsrelation

In der Mathematik sind Ordnungsrelationen Verallgemeinerungen der „kleiner-gleich“-Beziehung. Sie erlauben es, Elemente einer Menge miteinander zu vergleichen.Eine Ordnungsrelation ist formal eine zweistellige Relation auf einer Menge M mit bestimmten, unten bei „Halbordnung“ genannten Eigenschaften.Ist eine Menge M mit einer Ordnungsrelation R 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 das Symbol „“ oder ähnliche Symbole. 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.
Mehr unter Wikipedia.org...