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