Relation d'ordre

est une relation d'ordre sur un ensemble si et seulement si elle est :

  • antisymétrique :