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