La conmutatividad del producto es consecuencia de que un producto cartesiano de conjuntos tiene el mismo número de elementos independientemente de cómo se realice este producto.