Une relation d'ordre strict est une relation binaire antiréflexive, antisymétrique et transitive.
Exemples
La relation < est une relation d'ordre strict dans l'ensemble des nombres réels. La relation ⊊ est une relation d'ordre strict dans l’ensemble des parties d'un ensemble non-vide.
Notes et références
Bibliographie
Liens externes
Catégorie:Préordre