Similar, but slightly different to a set, a tuple is an ordered group of elements which do not have to be of the same type. 2-tuples are often called a pair, and subsequent tuples of n elements are dubbed n-tuples. The formal definition of a finite automata is an example of tuples.