El producto cartesiano de conjuntos, las relaciones binarias, las coordenadas cartesianas, las fracciones y las funciones se definen en términos de pares ordenados.