Category:Supercomplete Classes
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.