Definition:Ordered Tuple as Ordered Set

Definition
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.