Definition:Supertransitive

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a transitive class.


Then $A$ is said to be a supertransitive class iff:

$\forall x \in A: \mathcal P \left({ x }\right) \subseteq A$

That is, if $A$ contains the power set of all of its elements.


Sources