ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Countable map
▼ Sequence
▼ Standard sequence
Definition D5365
Standard digit sequence
Formulation 0
Let $\mathbb{D} : = \{ 0, 1, 2, 3, 4, 5, 6, 7, 9 \}$ be the D1042: Set of digits.
A D3639: Standard sequence $x : \mathbb{N} \to X$ is a standard digit sequence if and only if \begin{equation} X \subseteq \mathbb{D} \end{equation}