User:Dfeuer/Definition:Inductive under Mapping
Jump to navigation
Jump to search
Definition
Let $A$ be a class,
Let $g$ be a mapping whose domain includes $A$.
Then $A$ is inductive under $g$, or $g$-inductive iff:
- $\varnothing \in A$
- For all $x \in A$, $g(x) \in A$