The

**successor set**of $x$ is the D11: Set \begin{equation} x \cup \{ x \} \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Collection of sets

▾ Set union

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Collection of sets

▾ Set union

Child definitions