Exercice 8, § 1

Soit $x$ un élément d’un groupe ordonné tel que $y = \inf(x, 0)$ soit défini ; alors, si $n$ est un entier $> 0$, $nx \geq 0$ entraîne $x \geq 0$ (on a

par suite $nx = 0$ entraîne $x = 0$.