Definition:Supertransitive Class

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$