Relation d'ordre strict
# Relation d'ordre strict

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.
