Maximum

Sei \(\leq\) eine Halbordnung auf einer Menge \(M\) \(x \in M\) heißt größtes Element oder Maximum von \(M\), falls gilt

\begin{align*} \forall y \in M : \lnot (x < y) \end{align*}