出典:Wikipedia
出典:『Wikipedia』 (2011/06/26 19:47 UTC 版)
In mathematics, a transitive reduction of a binary relation R on a set X is a minimal relation R' on X such that the transitive closure of R' is the same as the transitive closure of R. If the transitive closure of R is antisymmetric and finite, then R' is unique. However, neither existence nor uniqueness of transitive reductions is guaranteed in general.