Транзитивность бинарного отношения