Noun
(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.