\begin{definition}[Definition:Binary Tuple]
A '''binary tuple''' is an ordered tuple whose domain is the set $\set {0, 1}$.
That is, it is an ordered $n$-tuple $\tuple {x_1, x_2, \ldots, x_n}$ such that each $x_i$ is either $0$ or $1$.
The set of all binary $n$-tuples can often be seen denoted $V_n$:
:$V_n := \set {\tuple {x_1, x_2, \ldots, x_n}: \forall i \in \set {1, 2, \ldots n}: x_i \in \set {0, 1} }$
\end{definition}