Изменения

Бинарное отношение <math>R</math>, заданное на множестве <math>X</math> называется '''транзитивным''', если для <math>\forall a, b, c \in X</math> выполняется <math>aRb, bRc \rightarrow aRc</math>