Siguiendo lo hecho con el producto cartesiano de dos conjuntos, definimos la