Definition:Ordered Tuple/Term

From ProofWiki
Jump to: navigation, search


Let $n \in \N_{>0}$.

Let $\left \langle {a_k} \right \rangle_{k \mathop \in \N^*_n}$ be an ordered tuple.

The ordered pair $\left({k, a_k}\right)$ is called the $k$th term of the ordered tuple for each $k \in \N^*_n$.

Also defined as

Some treatments of this subject treat the $k$th term of an ordered tuple as just the element $a_k$.

However, this is an oversimplification which obscures some of the crucial detail of the definition of what an ordered tuple actually is.

Also see