1. Si et est un réel quelconque, quelle conclusion est garantie par la compatibilité de l’ordre avec l’addition ?
$$x+z \leq y+z$$
Explication
L’ordre réel est compatible avec l’addition pour tout réel : ajouter le même nombre aux deux membres conserve l’inégalité. La compatibilité multiplicative nécessite, elle, des facteurs positifs, et les deux autres inégalités ne découlent pas de l’hypothèse.