hat
N {\displaystyle \mathbb {N} } minore pa zewo. ∀ n ∈ N n ≥ 0 {\displaystyle \forall n\in \mathbb {N} \quad n\geq 0} Fòm kondanse. ∀ a ∈ R ( ( a ≤ 0 ∧ a ≥ 0 ) ⇒ a = 0 ) {\displaystyle \forall a\in \mathbb {R} \,\left((a\leq 0\land a\geq 0)\Rightarrow a=0\right)} Pou tout reyèl a, si a se mwens pase oswa egal a zewo epi si a se pi gran pase oswa egal a zewo, donk, a se nil.
fra
N {\displaystyle \mathbb {N} } est minoré par zéro. ∀ n ∈ N n ≥ 0 {\displaystyle \forall n\in \mathbb {N} \quad n\geq 0} Forme condensée. ∀ a ∈ R ( ( a ≤ 0 ∧ a ≥ 0 ) ⇒ a = 0 ) {\displaystyle \forall a\in \mathbb {R} \,\left((a\leq 0\land a\geq 0)\Rightarrow a=0\right)} Pour tout réel a, si a est inférieur ou égal à zéro et si a est supérieur ou égal à zéro, alors a est nul.