Ein Element x ∈ I {\displaystyle {}x\in I} heißt größtes Element von I {\displaystyle {}I} , wenn y ≼ x {\displaystyle {}y\preccurlyeq x} für jedes y ∈ I {\displaystyle {}y\in I} gilt.