Definition:Ordered Tuple/On Set
Jump to navigation
Jump to search
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.