◀ ▲ ▶Branches / Settheory / Corollary: Properties of Transitive Sets
Corollary: Properties of Transitive Sets
(related to Definition: Transitive Set)

If \(X\) is a transitive set, so is:
 the set \(X\cup\{X\}\), and
 the power set \(\mathcal P(X)\).

If \(X\) is a set of transitive sets, so is:
 the union of its elements \(\bigcup X\), and
 the intersection of its elements \(\bigcap X\).
Table of Contents
Proofs: 1
Mentioned in:
Motivations: 1
Proofs: 2 3
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Hoffmann, Dirk W.: "Grenzen der Mathematik  Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011