Definition:Supertransitive Class
Jump to navigation
Jump to search
Definition
Let $A$ be a transitive class.
Then $A$ is said to be a supertransitive class if and only if:
- $\forall x \in A: \powerset x \subseteq A$
That is, if $A$ contains the power set of all of its elements.
This article, or a section of it, needs explaining. In particular: This phrasing is a bit awkward; element and subset are bound to be confused You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
Sources
- 1971: Gaisi Takeuti and Wilson M. Zaring: Introduction to Axiomatic Set Theory: $\S 9.8$