Definition:Supertransitive Class

Definition
Let $A$ be a transitive class.

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


 * $\forall x \in A: \powerset x \subseteq A$

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