In het algemeen verstaat men onder een homomorfisme een afbeelding van een verzameling met een algebraïsche structuur in een andere verzameling met een algebraïsche structuur van dezelfde soort, waarbij die afbeelding compatibel is met de structuren, dus de structuur van het domein overvoert in de structuur van het codomein. Wikipedia