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