El producto cartesiano de consigo mismo es , es decir, el conjunto de los pares ordenados cuyos componentes son enteros.