Transitive set

In set theory, a branch of mathematics, a set is called transitive if either of the following equivalent conditions hold:

  • whenever , and , then .
  • whenever , and is not an urelement, then is a subset of .

Similarly, a class is transitive if every element of is a subset of .

Share this article:

This article uses material from the Wikipedia article Transitive set, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.