A is a sequence with $k$ elements, the number $k$ is called the length of the tuple.

Ordered pair

An ordered pair is another name for a $2\text{-tuple}$, $$ \boxed{(a, b) = (c, d)} \text{ means that } a = c \text{ and } b = d $$

Link to original