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