transitive closure

English

Noun

transitive closure (plural transitive closures)

1. (set theory, order theory, of a binary relation R on a set X) The smallest binary relation on X that includes R and is transitive.
2. (set theory, of a set X) The smallest transitive set that contains X.