transitive closure

Noun

 * 1)  The smallest binary relation on X that includes R and is transitive.
 * 2)  The smallest transitive set that contains X.