Sea H el conjunto de hombres y M el conjunto de mujeres.
Supongamos que card(H) = n y que card(M) = m, esto es, hay "n" hombres y "n" mujeres.
Por otro lado, sea "P" el conjunto de parejas que se pueden formar con los "n" hombres y con las "m" mujeres.
Nos interesa saber el cardinal de "P", es decir, card(P).
Notemos que para elegir la primer persona (supongamos que el hombre)hay n posibilidades y que para elegir a la segunda persona (en este caso, la mujer) hay "m" posibles elecciones.
Por lo tanto existen en total "n•m" (utilizando el principio del conteo) parejas posibles.
Matemáticamente podemos ver a "P" como el producto cartesiano ("X") de los conjuntos H y M, o sea, P = HXM.
Como H es finito (pues card(H) = n) y M también es finito (card(M) = m) entonces card(P) = card(HXM) = n•m.