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 boolean numbers
Boolean number
Byte
Definition D2183
Set of bytes
Formulation 1
The set of bytes is the D11: Set \begin{equation} \left\{ (n_1, n_2, \ldots, n_8) : n_1, n_2, \ldots, n_8 \in \{ 0, 1 \} \right\} \end{equation}
Formulation 2
The set of bytes is the D11: Set \begin{equation} \{ 0, 1 \}^8 \end{equation}
Results
Cardinality of the set of bytes