Definition:G-Set

Definition
Let $A$ be a class.

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

We say that
 * $x$ is a $g$-set


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