geordnete Menge (Mathematik)

eine Menge M, in der eine Ordnungsrelation definiert ist, sodass je zwei Elemente aus M bezüglich der betreffenden Ordnungsrelation stets vergleichbar sind; z. B. die Menge der reellen Zahlen mit der Kleinerrelation (Zeichen <).