Транзитивные бинарные отношения

Бинарное отношение R называется транзитивным на множестве A, если для любых , таких, что пара и пара выполняется, что пара также принадлежит множеству R.

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