producto cartesiano

El producto cartesiano de dos conjunto M, N es el comjunto M X N de pares ordenados (a,b)
en los que el primer elemento pertenece a M y el segundo a N.
  Par ejemplo, el producto de M = {3,5,7} por N ={a,m,p,r} podemos obtenerlo com la siguiente tabla.

Se cumple que M X > N X M.