Definition:Ordered Tuple

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\}$

Also defined as
Some treatments take the intuitive approach of regarding an ordered tuple merely as an ordered set, that is, without stressing the fact of it being a mapping from a subset of the natural numbers.

Also see

 * Definition:Ordered Tuple as Ordered Set


 * Definition:Finite Sequence: Note that an ordered tuple and a finite sequence are in fact the same thing. However, with an ordered tuple the emphasis is usually placed on the image set, while for a finite sequence the domain is usually more conceptually important, and can in fact be considered as any finite set.