Relation d'ordre strict

Une relation d'ordre strict est une relation binaire antiréflexive, antisymétrique et transitive.

Exemples modifier