Отношения на множествах. Композиция отношений

Отношением (бинарным отношением, двуместным отношением) из множества А в множество В называется некоторое подмножество декартового произведения

Если и то говорят, что находится в отношении с

Если — отношение из А в А то — бинарное отношение на множестве А.

Пусть и тогда композицией отношений называется отношение