ThmDex – An index of mathematical definitions, results, and conjectures.
▼ 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
▼ Set of bits
▼ Bit
▼ Byte
Definition D2183
Set of bytes
Formulation 1
The set of bytes is the D11: Set \begin{equation} \left\{ (n_0, n_1, \ldots, n_7) : n_0, n_1, \, \ldots, \, n_7 \in \{ 0, 1 \} \right\} \end{equation}
Formulation 2
The set of bytes is the D11: Set \begin{equation} \{ 0, 1 \}^8 \end{equation}
Results
▶ R5643: Cardinality of the set of bytes