- לא נכון, הראתי שהביטוי <math>f(\phi )</math> לא בדיוק מוגדר, אי אפשר להבין מה זה. ואם אני טועה, אז מה התוצאה של <math>f(\phi )</math>? לא חייבת להיות פי, כי אם לדוגמא A היא {1,2}, פי לא נמצא שם, ולכן זה לא יעבוד כי המול תחום של הפונקציה הוא A.
טעיתי כשכתבתי "כל האיברים בפי", הכוונה הייתה לאיבר מסוים בפי. בכל מקרה שניהם שקולים במצב הזה, היות ובפי אין איברים.