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

м
Нет описания правки
м
Свойство рефлексивности при заданных отношениях [[Матрица (математика)|матрицей]] характеризуется тем, что все диагональные элементы матрицы равняются 1; при заданных отношениях графом каждый элемент имеет петлю — дугу (х, х).
 
Бинарное отношение <math>R</math> на множестве <math>X</math> является рефлексивным тогда и только тогда, когда его подмножеством является [[Тождественное отображение|тождественноготождественное отношенияотношение]] <math>id_X</math> на множестве <math>X</math> (<math>id_X=\{(x,x)|x\in X\}</math>), т.е. <math> id_X \subseteq R</math>.
 
Если это условие не выполнено ни для какого элемента множества <math>X</math>, то отношение <math>R</math> называется '''антирефлексивным'''.