. Agar j: A ® B xaritasi quyidagi shartlar bajarilsa, A algebraik sistemaning B ga homomorfizmi deyiladi.
j (fi (x1, ..., xmi)) = gi (j (x1), ..., j (xmi)),
(x1, ..., xnj) O rj Yu (j (x1), ..., j (xnj)) O pj
har qanday x1, x2, ... O A uchun, har qanday i: 1 Ј i Ј k uchun, har qanday j: 1 Ј j Ј l uchun.