Definition:Ordered Tuple/Definition 1

Definition
Let $n \in \N_{>0}$.

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

An ordered tuple (of length $n$) is a finite sequence whose domain is $\N^*_n$.

Also see

 * Equivalence of Definitions of Ordered Tuple