Por ejemplo, una "n"-tupla (con "n"> 2) se puede definir como un par ordenado de su primera entrada y ("n"−1)-tupla que contenga el resto de las entradas, de tal forma que: