Dado un conjunto A y una ley de composición interna: formula_10 y un segundo conjunto K, que junto con A tiene una ley de composición externa formula_46.