הפונקציה מוגדרת כך :
f(a)מוגדרת להיות : B מוכל ב A כך ש a שייך ל B
: לא הבנתי את הגדרתך. מה זה B? לאן בדיוק מועתקים איברים של A. אם אתה פותר תרגיל כלשהו אז תכתוב את הניסוח המלא שלו; אם זו שאלה כללית אז תנסח אותה ברור יותר. --[[משתמש:Grisha|Grisha]] 23:43, 30 ביולי 2012 (IDT)