transitive closure
Short definition from Wiktionary
Noun
- The smallest binary relation on X that includes R and is transitive.
- The smallest transitive set that contains X.
We haven’t written up transitive closure yet: Simple and Standard meanings, examples and a quiz.