שינויים

'''הגדרה:'''

תהא A קבוצה פונקציית הזהות מוגדרת להיות <math>f:A \to A</math> המקיימת <math>\forall a\in A: f(a)=a</math>. נהוג לסמנה: <math>id_A</math> פונקציית הזהות היא חח"ע ועל.