对于集合 上的运算 和 集合 上的运算 ,如果 ,都有 ,就称 是一个同态(Homomorphism)

这个定义可以扩展到任意个集合。