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