Category:Special Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Special Sets.
Definitions specific to this category can be found in Definitions/Special Sets.

Let $g$ be a progressing mapping.

Let $S$ and $x$ be sets.


We say that:

$S$ is special for $x$ (with respect to $g$)

if and only if:

\((1)\)   $:$   $\O \in S$      
\((2)\)   $:$   $S$ is closed under $g$ relative to $x$      
\((3)\)   $:$   $S$ is closed under chain unions      

This category currently contains no pages or media.