- Transitive set
In
set theory , a set (or class) "A" is transitive, if
* whenever "x" ∈ "A", and "y" ∈ "x", then "y" ∈ "A", or, equivalently,
* whenever "x" ∈ "A", and "x" is not anurelement , then "x" is asubset of "A".The transitive closure of a set "A" is the smallest (with respect to inclusion) transitive set "B" which contains "A". Suppose one is given a set "X", then the transitive closure of "X" is::.
Transitive classes are often used for construction of interpretations of set theory in itself, usually called
inner model s. The reason is that properties defined by bounded formulas are absolute for transitive classes.An
ordinal number may be defined as an hereditarily transitive set, that is, a transitive set whose members are also transitive.A set "X" is transitive if and only if
A set "X" which does not contain urelements is transitive if and only if
Transitive classes
Similarly, a class "M" is transitive if every element of "M" is a subset of "M".
Transitive models of set theory
A transitive set (or class) that is a model of a formal system of set theory is called a transitive model of the system. Transitivity is an important factor in determining the absoluteness of formulas.
ee also
*
Union (set theory)
*Power set
Wikimedia Foundation. 2010.