Ein Element t ∈ M {\displaystyle {}t\in M} heißt das Minimum von M {\displaystyle {}M} , wenn t ≤ x {\displaystyle {}t\leq x} für alle x ∈ M {\displaystyle {}x\in M} gilt.