Definition:Binary Tuple

From ProofWiki
Jump to navigation Jump to search


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} }$