Inductive Set • Lutalli

IND#DEF. Inductive Set.

$X$ is inductive if
\[\varnothing\in X \enspace\land\enspace \forall x\in X:x\cup\{x\}\in X.\]