\begin{definition}[Definition:Ordered Tuple as Ordered Set]
The rigorous definition of an ordered tuple is as a finite sequence whose domain is $\N^*_n$.
However, it is possible to treat an ordered tuple as an extension of the concept of an ordered pair.
\end{definition}