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

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