Рефлексивное отношение: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м шаблон
м викификация
Строка 7:
Если это условие не выполнено ни для какого элемента множества <math>X</math>, то отношение <math>R</math> называется '''антирефлексивным'''.
 
Если [[Антирефлексивность|'''антирефлексивное отношение]]''' задано матрицей, то все диагональные элементы являются нулевыми. При задании такого отношения графом каждая вершина не имеет петли — нет дуг вида (х, х).
 
Формально антирефлексивность отношения <math>R</math> определяется как: <math>\forall a \in X:\ \neg (a R a)</math>.