Category:Supercomplete Classes

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.

\((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} \)