In set theory, a branch of mathematics, a set A {\displaystyle A} is called transitive if either of the following equivalent conditions holds:
whenever x ∈ A {\displaystyle x\in A} , and y ∈ x {\displaystyle y\in x} , then y ∈ A {\displaystyle y\in A} . whenever x ∈ A {\displaystyle x\in A} , and x {\displaystyle x} is not an urelement, then x {\displaystyle x} is a subset of A {\displaystyle A} . Similarly, a class M {\displaystyle M} is transitive if every element of M {\displaystyle M} is a subset of M {\displaystyle M} .
Examples Using the definition of ordinal numbers suggested by John von Neumann, ordinal numbers are defined as hereditarily transitive sets: an ordinal number is a transitive set whose members are also transitive (and thus ordinals). The class of all ordinals is a transitive class. Any of the stages V α {\displaystyle V_{\alpha }} and L α {\displaystyle L_{\alpha }} leading to the construction of the von Neumann universe V {\displaystyle V} and Gödel's constructible universe L {\displaystyle L} are transitive sets. The universes V {\displaystyle V} and L {\displaystyle L} themselves are transitive classes. This is a complete list of all finite transitive sets with up to 20 pairs of brackets:
{ } , {\displaystyle \{\},}
{ { } } , {\displaystyle \{\{\}\},}
{ { } , { { } } } , {\displaystyle \{\{\},\{\{\}\}\},}
{ { } , { { } } , { { { } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\}\},}
{ { } , { { } } , { { } , { { } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\},}
{ { } , { { } } , { { { } } } , { { { { } } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\}\},}
{ { } , { { } } , { { { } } } , { { } , { { } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\}\},}
{ { } , { { } } , { { { } } } , { { } , { { { } } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\{\}\}\}\}\},}
{ { } , { { } } , { { { } } } , { { { } } , { { { } } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\}\},\{\{\{\}\}\}\}\},}
{ { } , { { } } , { { { } , { { } } } } , { { } , { { } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\}\},}
{ { } , { { } } , { { { } } } , { { } , { { } } , { { { } } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\},\{\{\{\}\}\}\}\},}
{ { } , { { } } , { { } , { { } } } , { { } , { { } , { { } } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\},\{\{\}\}\}\}\},}
{ { } , { { } } , { { } , { { } } } , { { { } } , { { } , { { } } } } } , {\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\},\{\{\{\}\},\{\{\},\{\{\}\}\}\}\},}
… excerpt ends here. Continue reading the full article.
