Ein Element x ∈ I {\displaystyle {}x\in I} heißt maximal, wenn es kein Element y ∈ I {\displaystyle {}y\in I} , y ≠ x {\displaystyle {}y\neq x} , mit x ≼ y {\displaystyle {}x\preccurlyeq y} gibt.