transitive closure
Jump to navigation
Jump to search
English
[edit]Noun
[edit]transitive closure (plural transitive closures)
- (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.
- (set theory, of a set X) The smallest transitive set that contains X.