Parajas ordenadas. Se llama producto cartesiano de dos conjuntos A y B y se .