Транзитивное сокращение
Материал из Википедии — свободной encyclopedia
В математике транзитивным сокращением бинарного отношения R на множестве X называется минимальное отношение на X, такое, что транзитивное замыкание совпадает с транзитивным замыканием R. Если транзитивное замыкание R антисимметрично и конечно, то единственно. Однако ни существование, ни единственность в общем случае не гарантированы.