User:Dfeuer/Definition:Inductive Set

Definition
Let $a$ be a set.

Then $a$ is an inductive set iff $a$ is an User:Dfeuer/Definition:Inductive Class.