Otra construcción importante es el producto cartesiano de dos conjuntos parcialmente ordenados, junto con el orden producto en pares de elementos.