Category:Supercomplete Classes

From ProofWiki
Jump to navigation Jump to search

This category contains results about Supercomplete Classes.

Let $A$ denote a class.

Then $A$ is a supercomplete class if and only if:

\((1)\)   $:$   $A$ is transitive:      \(\ds \forall x: \forall y:\) \(\ds \paren {x \in y \land y \in A \implies x \in A} \)      
\((2)\)   $:$   $A$ is swelled:      \(\ds \forall x: \forall y:\) \(\ds \paren {x \subseteq y \land y \in A \implies x \in A} \)      

Pages in category "Supercomplete Classes"

The following 3 pages are in this category, out of 3 total.