Groupe Ordonné

concept

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

Propriétés

Catégories