Zu einer endlichen nichtleeren Teilmenge T ⊆ N {\displaystyle {}T\subseteq \mathbb {N} } heißt a {\displaystyle {}a} das Maximum von T {\displaystyle {}T} , wenn a ∈ T {\displaystyle {}a\in T} ist und wenn a ≥ x {\displaystyle {}a\geq x} für alle x ∈ T {\displaystyle {}x\in T} gilt.
