14
правок
Изменения
Нет описания правки
В математике [[Определения отношения|бинарное отношение ]] <math>R</math> на множестве <math>X</math> называется '''рефлексивным''', если всякий элемент этого множества находится в отношении <math>R</math> с самим собой.
{{Определение
|definition =
Отношение <math>R</math> называется рефлексивным, если <math>\forall a \in X:\ (a R a)</math>.
}}
Свойство рефлексивности при заданных отношениях [[Основные определения: граф, ребро, вершина, степень, петля, путь, цикл|графом ]] состоит в том, что каждая вершина имеет петлю — дугу (х, х), а матрица смежности этого графа на главной диагонали имеет единицы.
Если это условие не выполнено ни для какого элемента множества <math>X</math>, то отношение <math>R</math> называется '''антирефлексивным'''.
