Homomorfism on kujutus ühest algebralisest struktuurist teise sama tüüpi struktuuri, kus säilivad vaadeldavad tehted ja/või seosed.[1]
Homomorfism