Отношение транзитивно, если оно имеет место между X и Y тогда, когда оно имеет место между X и Y и между Y и Z. Иначе говоря, отношение является транзитивным (переходным) тогда и только тогда, когда из отношения между X и Y и между Y и Z следует такое же отношение между X и Z.