שינויים
/* פונקציה חח"ע */
לדעתי הפונקציה f(1)=1 מ- A ל- A כאשר zzz A={1} zzz, היא גם חח"ע כי לכל zzz f(a)=f(b) zzz מתקיים a=b, וגם לא חח"ע כי לא קיימים a ו- b שונים עבורם zzz f(a)=f(b) zzz. מה הפונקציה, חח"ע או לא?
*(לא מתרגל/מרצה) זוהי כן פונקציה חח"ע. אתה טועה בעצם ההגדרה של התנאי. התנאי אומר ש'''אם''' a שונה מb אז (f(a שונה מ(f(b. אבל הטענה הזו נכונה באופן ריק, כי לא קיימים a שונה מb. כלומר מדובר בגרירה של 0->משהו, וזו תמיד אמת כמו שלמדנו. אופן אחר להסתכל על זה הוא בכיוון ההפוך. האם לכל (f(a)=f(b מתקיים a=b? כן, כמו שאמרת. התנאים הקודם וזה שקולים לפי לוגיקה כמו שלמדנו, ולכן זוהי חח"ע.
