Ordre Total

concept

relation d'ordre par laquelle deux éléments sont toujours comparables

Propriétés