Es sei ( I , ≼ ) {\displaystyle {}(I,\preccurlyeq )} eine geordnete Menge. Ein Element x ∈ I {\displaystyle {}x\in I} heißt kleinstes Element von I {\displaystyle {}I} , wenn x ≼ y {\displaystyle {}x\preccurlyeq y} für jedes y ∈ I {\displaystyle {}y\in I} gilt.
