transitive closure
noun1
Mathematics, Order theory, Sciences, Set theory The smallest binary relation on X that includes R and is transitive.
Of a binary relation R on a set X
2
Mathematics, Sciences, Set theory Of a set X The smallest transitive set that contains X.