Application

Etant donné deux ensembles et et une relation de vers on dit que est une application de vers si pour tout élément de possède une image unique dans

Réflexivité

Réflexivité d'une relation binaire dans un ensemble :

Relation d'ordre

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

  • antisymétrique :

Symétrie

Symétrie d'une relation binaire dans un ensemble :

Transitivité

Propriété d'être transitif. On dit d'une relation qu'elle est transitive dans un ensemble si pour tous les élément de tels que l'on a et alors on a