User:Dfeuer/Definition:Inductive Set
Jump to navigation
Jump to search
Definition
Let $a$ be a set.
Then $a$ is an inductive set iff $a$ is an User:Dfeuer/Definition:Inductive Class.