Sean formula_1 y formula_2 dos sistemas algebraicos del mismo tipo, donde formula_3 son conjuntos y formula_4 son las operaciones algebraicas definidas en dichos conjuntos.