Dados dos grupos formula_1 y formula_2, en el que cada grupo está compuesto por un conjunto de elementos y una ley de composición interna entre ellos (no necesariamente la misma), es posible definir una función que asigne a cada elemento "g" de formula_7 un elemento "h" de formula_9: