Eine Menge mit einer Ordnungsrelation <= oder >= heißt geordnet. Es können also je zwei Elemente der Menge untereinander verglichen werden.