transitive closure

/T R AE1 N Z AH0 T IH0 V K L OW0 ZH ER0/
noun
  1. 1

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

  2. 2

    (set theory, of a set X) The smallest transitive set that contains X.