Definition:Supercomplete Class

Definition
Let $A$ denote a class.

Then $A$ is a supercomplete class both:


 * $A$ is transitive

and:
 * $A$ is swelled

That is, $A$ is supercomplete :


 * $\forall x: \forall y: \paren {x \in y \land y \in A \implies x \in A}$
 * $\forall x: \forall y: \paren {x \subseteq y \land y \in A \implies x \in A}$

Also see

 * Definition:Transitive Class
 * Definition:Swelled Class