Ein Element T ∈ M {\displaystyle {}T\in M} mit x ≤ T {\displaystyle {}x\leq T} für alle x ∈ M {\displaystyle {}x\in M} heißt Maximum von M {\displaystyle {}M} .