Ein Element T ∈ M {\displaystyle {}T\in M} heißt das Maximum von M {\displaystyle {}M} , wenn T ≥ x {\displaystyle {}T\geq x} für alle x ∈ M {\displaystyle {}x\in M} gilt.
