Un groupe est dit totalement ordonnable s'il peut être muni d'un ordre total compatible avec l'opération de groupe. Tout groupe abélien est totalement ordonnable ssi il est sans torsion.