הומומורפיזם (לוגיקה) – הבדלי גרסאות

ב[[שפה מסדר ראשון]] ב[[לוגיקה מתמטית]], '''הומומורפיזם''' היא העתקה בין [[מבנה לוגי|מבנים לוגיים]] ששומרת על [[סימן יחס|סימני היחס]] ועל [[סימן פעולה|סימני הפעולה]]. לרוב משמשות העתקות הומומורפיות לזהות בין מבנים לוגיים שונים. העתקה שהיא הומומורפיזם וגם חח"ע נקראת [[שיכון (מתמטיקה)|שיכון]]. העתקה שהיא הומומורפיזם וגם חח"ע, על,ועל וההפכיתנקראת שלה היא הומומרפיזם נקראת[[איזומורפיזם איזומרפיזם(מתמטיקה)|איזומורפיזם]].