Una ley de composición externa sobre un conjunto A con un conjunto B es una aplicación: