El producto cartesiano de T por P es el conjunto de pares ordenados de cada uno de los tubos de T con cada uno de los pinceles de P, en la cuadrícula podemos ver en la fila inferior cada uno de los tubos del conjunto T, y en la columna da la izquierda cada uno de los pinceles del conjunto P, donde se cortan una fila y una columna están el tubo y el pincel correspondientes, se ha destacado el fondo de las pares que forman parte de la correspondencia.