Category:G-Sets

This category contains results about $g$-sets.

Let $A$ be a class.

Let $g: A \to A$ be a mapping.

We say that

$x$ is a $g$-set

if and only if:

$x$ is an element of every class that is superinductive under $g$.