_2(称为群胚的代数结构），同态就是映射formula_3使得其中formula_5是formula_1上的运算而formula_7是formula_2上的运算。每类代数结构有它的同态。特定的定义参看：同态的概念在研究所有代数结构共有的思想的泛代数中可以给一个形式化的定义。这个情况下，同态formula_9是两个同类代数结构之间的映射，使得对于所有"n"元运算formula_11和所有formula_12中的formula_13成立。
同态的类型.上面的术语