Рефлексивные бинарные отношения

Бинарное отношение R называется рефлексивным на множестве A, если для каждого во множестве R есть пара .

Пример 2. Пусть , а R – отношение равенства, т.е. или . Тогда взяв, например, замечаем, что пара . Отсюда следует, что отношение равенства на множестве А рефлексивно.