Транзитивное бинарное отношение