◀ ▲ ▶Branches / Settheory / Lemma: Any Set is Subset of Some Transitive Set  Its Transitive Hull
The following lemma shows that transitive sets play a prominent role in the set theory. They are omnipresent.
Lemma: Any Set is Subset of Some Transitive Set  Its Transitive Hull
For every set $X$ there exists a transitive set $Y$, such that $X$ is a subset of $Y,$ formally $X\subseteq Y.$ This set is called the transitive hull of the set $X$.
Table of Contents
Proofs: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Hoffmann, D.: "Forcing, Eine EinfÃ¼hrung in die Mathematik der UnabhÃ¤ngigkeitsbeweise", Hoffmann, D., 2018