Set of digits – TheoremDex

▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Collection of sets
▾ Set union
▾ Successor set
▾ Inductive set
▾ Set of inductive sets
▾ Set of natural numbers

Set of digits

Formulation 0

The set of digits is the D11: Set \begin{equation} \mathbb{D} : = \{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 \} \end{equation}

Child definitions