Dados dos conjuntos e , la colección de todos los pares ordenados , formados con un primer elemento en y un segundo elemento en , se denomina el producto cartesiano de e , y se denota .