关于代数系统的同态与同构，下列说法正确的是：

A. 对于2个代数系统，如果能有一个函数满足“运算后的像等于像的运算”，那么函数就是代数系统间的同态函数。
B. 对于2个代数系统，如果能有一个双射函数满足“运算后的像等于像的运算”，那么函数就是代数系统间的同构函数。
C. 如果2个代数系统是同类型的，那么一定是同构的
D. 对于2个代数系统，如果能有一个满射函数满足“运算后的像等于像的运算”，那么这2个代数系统具有相同的交换性、结合性、分配性。