Inductive Set

DEF-IND. Inductive Set.

$X$ is inductive if

\[\varnothing\in X \enspace\land\enspace \forall x\in X:x\cup\{x\}\in X.\]