Inductive Set

🅟 Mar 05, 2026

  🅤 Jun 10, 2026

Definition 1.

A set $X$ is inductive if

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