Exercice 14, § 1

Montrer que, dans un monoïde semi-réticulé $M$, on a

quelles que soient les suites finies de $n$ termes $(x_i), (y_i)$. En déduire que, dans un groupe réticulé, on a les inégalités