El conjunto vacío actúa como el cero del producto cartesiano, pues no posee elementos para construir pares ordenados: