Рефлексивность
Материал из Википедии — свободной энциклопедии
В математике бинарное отношение R на множестве X называется рефлексивным, если всякий элемент этого множества находится в отношении R с самим собой.
Формально, отношение R рефлексивно, если 
.
Если это условие не выполнено ни для какого элемента множества X, то отношение R называется антирефлексивным.
Формально антирефлексивность отношения R определяется как: 
.
Если условие рефлексивности выполнено не для всех элементов множества X, говорят, что отношение R нерефлексивно.
[править] Примеры
Рефлексивными являются, в частности
- отношение равенства (
), - отношение нестрогого неравенства (
), - отношение нестрогого подмножества (
), - отношение делимости (
).
