N-tuple

The n can be replaced by a specific number, thus one can for example say a quaternion can be represented as a 4-tuple. A 2-tuple is an ordered pair; a 3-tuple is a triple or triplet; further constructions are possible, such as octuple, but many mathematicians find it quicker to write "8-tuple", even if still pronouncing "octuple".

A general n-tuple is: (a₁,a₂,...,a_n)= (b₁,b₂,...,b_n) iff a₁=b₁, a₂=b₂ and so on.

Formally, an n-tuple can be defined in terms of sets as either (a₁,a₂,...,a_n)= {a₁,{a₁,a₂},{a₁,a₂,a₃},...,{a₁,a₂,...a_n}} or as an inductive definition:

1. a 1-tuple (a₁) is just a₁;
2. if x is an n-tuple, then (x,a_n+1) (i.e. {x,{x,a_n+1}}) is an (n+1)-tuple.

It is fairly easy to show that either definition implies the property given above. However, the sets generated look very different.

Many computer programming languages support tuples as a data type, either for objects of fixed types, or as a collection of objects of any type.

The Lisp programming language originally used the ordered pair abstraction to create all of its n-tuple and list structures, similarly to the inductive definition above.

In the field of relational databases, a tuple is a row in a relation (table). An n-tuple is a row with n columns. It is important not to confuse an n-tuple with n tuples.