Definition:Ordered Tuple/Definition 2

Definition
Let $n \in \N$ be a natural number.

Let $\N^*_n$ be the first $n$ non-zero natural numbers:
 * $\N^*_n := \set {1, 2, \ldots, n}$

Let $\family {S_i}_{i \mathop \in \N^*_n}$ be a family of sets indexed by $\N^*_n$.

Let $\displaystyle \prod_{i \mathop \in \N^*_n} S_i$ be the Cartesian product of $\family {S_i}_{i \mathop \in \N^*_n}$.

An ordered tuple of length $n$ of $\family {S_i}$ is an element of $\displaystyle \prod_{i \mathop \in \N^*_n} S_i$.

Also see

 * Equivalence of Definitions of Ordered Tuple