Réflexivité
Un article de Wikipédia, l'encyclopédie libre.
|
|
[modifier] Mathématiques
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 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.
[modifier] Informatique
La réflexivité est la propriété de pouvoir se manipuler soi-même.
Par exemple, le langage Lisp permet de manipuler simplement des programmes écrits en Lisp.