Relation d'ordre strict
Apparence
Une relation d'ordre strict est une relation binaire antiréflexive, antisymétrique et transitive.
Exemples
[modifier | modifier le code]- 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.