Un "par ordenado" es un tupla de dos elementos, tal que uno puede ser distinguido como el "primero" y el otro como el "segundo". Un par ordenado con primer elemento "a" y con segundo elemento "b" es escrito usualmente como ("a", "b"). Dos pares ordenados cumplen:
El conjunto de todos los pares ordenados en los cuales el primer elemento se toma de un conjunto "X" determinado y el segundo de un conjunto "Y" se llama "producto cartesiano" de "X" e "Y", escrito X \times Y....
