hat
∀ n ∈ N ∃ m ∈ N m ≥ n {\displaystyle \forall n\in \mathbb {N} \quad \exists m\in \mathbb {N} \quad m\geq n} Pou tout nonm antye relatif natirèl n, egziste yon lòt nonm antye natirèl m sa yo ki pi gran pase oswa egal a n. Tout antye natirèl se mwens pase oswa egal a omwen yon lòt antye natirèl. ∃ m ∈ N ∀ n ∈ N m ≥ n {\displaystyle \exists m\in \mathbb {N} \quad \forall n\in \mathbb {N} \quad m\geq n} Gen yon nonm antye natirèl m konsa ke kèlkeswa sa nonm antye natirèl la n, m se pi gran pase n. N {\displaystyle \mathbb {N} } majore .
fra
∀ n ∈ N ∃ m ∈ N m ≥ n {\displaystyle \forall n\in \mathbb {N} \quad \exists m\in \mathbb {N} \quad m\geq n} Pour tout entier naturel n, il existe un autre entier naturel m tel que m soit supérieur ou égal à n. Tout entier naturel est inférieur ou égal à au moins un autre entier naturel. ∃ m ∈ N ∀ n ∈ N m ≥ n {\displaystyle \exists m\in \mathbb {N} \quad \forall n\in \mathbb {N} \quad m\geq n} Il existe un entier naturel m tel que quel que soit l'entier naturel n, m soit plus grand que n. N {\displaystyle \mathbb {N} } est majoré.