\begin{definition}[Definition:Ordered Tuple/On Set]
Let $S$ be a set.
Let $s: \N^*_n \to S$ be an ordered tuple.
Then $s$ is called an '''ordered tuple on $S$''', its codomain.
Category:Definitions/Ordered Tuples
\end{definition}