n-tuplas ordenadas

Una *n-tupla ordenada* es una secuencia finita de *n* objetos, donde *n* es un entero no negativo. El término "ordenada" es crucial, ya que el orden en que aparecen los objetos dentro de la tupla importa. A diferencia de un conjunto, donde el orden de los elementos es irrelevante, (a, b) es diferente de (b, a) en una tupla ordenada, a menos que a = b. Formalmente, podemos definir una n-tupla ordenada como una función cuyo dominio es el conjunto de los primeros *n* números naturales (o un conjunto equipotente). El número *n* se conoce como la longitud de la tupla. Las n-tuplas son fundamentales para representar puntos en el espacio (especialmente en geometría y álgebra lineal), coordenadas, datos estructurados, y soluciones a ecuaciones. Un caso especial común es la 2-tupla, también conocida como par ordenado.