Introduction
La réflexivité est la propriété d'une relation binaire qui met en relation tout élément avec lui-même.
Si désigne une relation binaire réflexive dans un ensemble E, alors :
Par exemple, la relation binaire dans 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.