Definition:Inductive Class

Definition
Let $A$ be a class.

Then $A$ is inductive :

Inductive Set
The same definition can be applied when $A$ is a set: