title: Relation d'ordre strict
text: # 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.
  