In der
Mathematik ist eine
Abbildung zwischen zwei Mengen, die nicht verschieden sein müssen und die
Strukturen der gleichen Art besitzen, dann mit deren Strukturen
verträglich, ein
Homomorphismus oder ein (konkreter)
Morphismus, wenn sie die Elemente aus der einen Menge so in die andere Menge abbildet, dass sich ihre Bilder dort hinsichtlich der
Relationen sowie Abbildungen der Struktur ebenso verhalten, wie sich deren
Urbilder in der Ausgangsstruktur verhalten.