▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Collection of sets
▾ Set union
Successor set
Formulation 0
Let $x$ be a D11: Set.
The successor set of $x$ is the D11: Set \begin{equation} x \cup \{ x \} \end{equation}
Child definitions
» D193: Inductive set