\begin{definition}[Definition:Ordered Tuple/Definition 1]
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}$
An '''ordered tuple (of length $n$)''' is a finite sequence whose domain is $\N^*_n$.
\end{definition}