groupe ordonné

concept groupe muni d'une relation d'ordre respectée par les translations

Aussi : groupe ordonne, groupe partiellement ordonné, groupe partiellement ordonne