Category:Minimally Superinductive Classes

From ProofWiki
Jump to navigation Jump to search

This category contains results about Minimally Superinductive Classes.

Let $A$ be a class.

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


Then $A$ is minimally superinductive under $g$ if and only if:

$A$ is superinductive under $g$
no proper subclass of $A$ is superinductive under $g$.