Ordnung

eine Menge , zwischen deren Elementen eine Ordnungsrelation ( Relation ) besteht, heißt halbgeordnet oder Halbordnung ; z. B. die Menge der natürlichen Zahlen mit der Relation a ≦ b. Die jeweils links stehenden Elemente nennt man Unterelemente , die rechts stehenden Oberelemente. Gilt die Relation zwischen zwei beliebigen Elementen, so heißt die Menge linear geordnet, lineare Ordnung oder Kette ; z. B. die Mengen der natürlichen, rationalen, reellen Zahlen mit der Relation a ≦ b.