שיחה:תחשיב למדא – הבדלי גרסאות

:השאלה איך מוגדר הטוח. אם הטוח הוא זוגות סדורים, שבו (1,2) ו (2,1) אינם זהים, אז העתקה f שבה f(1) מועתק ל (1,2), וגם ל (2,1), אינה פונקציה. אך אם הטוח הוא קבוצה של זוגות (שאינם סדורים), אז העתקה f שבה f(1) מועתק ל {1,2}, שזהה ל {2,1}, היא כן פונקציה. הדרישה לחד ערכיות כבר מובנית בהגדרת הפונקציה. {{אלמ}}

: נכון, כך צריך לדרוש. [[משתמש:עוזי ו.|עוזי ו.]] - [[שיחת משתמש:עוזי ו.|שיחה]] 20:33, 28 באפריל 2018 (IDT)