Eine Menge I {\displaystyle {}I} mit einer fixierten Ordnungsrelation ≼ {\displaystyle {}\preccurlyeq } heißt geordnete Menge.
mit einer fixierten
Ordnungsrelation
heißt geordnete Menge.
