Словарь логики - отношение рефлексивное

бинарное (двухместное) от­ношение R, определенное на некотором множестве и отличаю­щееся тем, что для любого х некоторого множества элемент х на­ходится в отношении R к самому себе, т. е. для любого элемента х этого множества имеет место xRx. Примерами О. р. могут быть: равенство (=), меньше или равно (≤), одновременность, сходство и др. Так, каждое событие х одновременно с самим собой, т. е. имеет место xRx. .