Relation d'ordre strict

Un article de Wikipédia, l'encyclopédie libre.

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

Exemples[modifier | modifier le code]