ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F1108 on D217: Set of bits
F1108
Formulation 0
The set of bits is the D11: Set \begin{equation} \mathbb{B} : = \{ 0, 1 \} \end{equation}