Un par ordenado es una colección de dos objetos distinguidos como "primero" y "segundo", y se denota como , donde es el «primer elemento» y el «segundo elemento».