Вклад участника

Транзитивный остов

‎Доказательство корректности: Если отношение ТОЛЬКО антисимметрично, то граф может иметь цикл