Definition:Inductive Set

Definition
Let $S$ be a set of sets.

Then $S$ is inductive :

Also known as
Some sources refer to this concept as a successor set.

However, note that this term has already been used on this site.

Also see

 * Definition:Inductive Class, of which this is an instance