Una n-tupla se define inductivamente desde la construcción de un par ordenado.