Inductive Set

Pub Mar 05, 2026 Up Jun 10, 2026

Definition 1. A set $X$ is inductive if

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