: פונקציה f לא הוגדרה במשורש כי אין צורך בכך, f היא פונקציה וזה כל מה שחשוב לדעת. אם אתה רוצה להפריך, אתה צריך להגדיר A, B ו- f ואז למצוא את אי התאצה לתנאי השאלה.
: X היא תת-קבוצה של B (ולפי הגדרה מורכבת מאיברים של A). פונקציה f מעתיקה אותה לאיבר ששייך ל-X עצמו. לדוגמא, קבוצה {1,2} מועתקת ל- 1. --[[משתמש:Grisha|Grisha]] 22:09, 4 באוגוסט 2012 (IDT)
רגע למה X תת קבוצה של B? X לא אמור להיות איבר ב B?
ובדוגמה שהבאת, אפשר באותו העיקרון ש {1,2} יועתק גם ל 2 לא?