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

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