Ordnungsrelation

eine zweistellige Relation auf einer Menge M; ist die Relation reflexiv, antisymmetrisch und transitiv, so spricht man von einer Ordnungsrelation erster Art, ist die Relation dagegen antireflexiv, antisymmetrisch und transitiv, von einer Ordnungsrelation zweiter Art. Ordnungsrelationen erster Art werden meist mit dem Symbol ≦ dargestellt, da die Kleiner-gleich-Relation