Zu einer nichtleeren Teilmenge T ⊆ N {\displaystyle {}T\subseteq \mathbb {N} } heißt b {\displaystyle {}b} das Minimum von T {\displaystyle {}T} , wenn b ∈ T {\displaystyle {}b\in T} ist und wenn b ≤ x {\displaystyle {}b\leq x} für alle x ∈ T {\displaystyle {}x\in T} gilt.
