The tail operation returns the second element of an ordered pair. The tail operation is used extensively in the construction of the integers.

Tuple Overview