transitive closure

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]
English Wikipedia has an article on:
Wikipedia
English Wikipedia has an article on:
Wikipedia

Noun

[edit]

transitive closure (plural transitive closures)

  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. (set theory, of a set X) The smallest transitive set that contains X.