Réflexivité (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Réflexivité.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

La réflexivité est la propriété d'une relation binaire qui met en relation tout élément avec lui-même.

Si \mathcal{R} désigne une relation binaire réflexive dans un ensemble E, alors :

\forall x \in E , x \mathcal{R} x \,

Par exemple, la relation binaire \leq dans \mathbb{N} est réflexive : tout entier est inférieur ou égal à lui-même. Par contre, la relation < n'est pas réflexive : le nombre 1 n'est pas strictement inférieur à lui-même.

Une relation d'équivalence, une relation d'ordre, est réflexive.