c'est quoi une relation d'ordre?

c'est une relation qui n'est pas réflexive, est antisymétrique et transitive
ex a< b 
 

Une relation d'ordre est une relation réflexive, anti-symétrique et transitive.
Ex: la relation "≤" est une relation d'ordre, la relation "/" (divise) est un ordre.
Pour la relation "<" qui n'est pas une relation d'ordre (car non réflexive) sera dite relation d'ordre au sens large.