הומומורפיזם

הומומורפיזם הוא פונקציה ממבנה אלגברי אחד לאחר, השומרת על כל מרכיבי המבנה: קבועים, פעולות ויחסים. בניגוד לאוטומורפיזם, הומומורפיזם אינו חייב להיות חד-חד-ערכי, כך שהוא עשוי לקלקל את יחס אי-השוויון.

אפשר לדון בנפרד ב-