Definition:Ordered Tuple/On Set

Definition

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.