Un groupe ordonné est un groupe muni d`une relation d`ordre respectée par les translations. - Soit (G, .) un groupe (la loi du groupe étant notée multiplicativement) et ≤ une relation d`ordre sur G. On dit que celle-ci est compatible avec la loi du groupe lorsque pour tous éléments x, y e...