Транзитивность, транзитивное отношение - определение

В математике бинарное отношение $R$ на множестве $X$ называется транзитивным, если для любых трёх элементов $a, b, c \in X$ выполнение отношений $a R b$ и $b R c$ влечёт выполнение отношения $a R c$.
Формально, отношение $R$ транзитивно, если $\forall a, b, c \in X,\ a R b \land b R c \Rightarrow a R c$.