Транзитивность
класс бинарных отношений / Материал из Википедии — свободной encyclopedia
У этого термина существуют и другие значения, см. Транзитивность (значения).
Транзитивность — свойство бинарного отношения. Бинарное отношение на множестве
называется транзитивным, если для любых трёх элементов множества
выполнение отношений
и
влечёт выполнение отношения
(запись
означает отношение
к
,
—
к
,
—
к
).
Формально, отношение транзитивно, если