transitive closure
English
Noun
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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.