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