קצת מבלבל אותי הניסוח של השאלה והניסוח של ההגדרה של איבר הפיך מימין.
== תרגיל 2 שאלה 7 ==
בשאלה 7 א', הראיתי ש-S הוא האיבר האדיש ב-A.
אני חושב שהתכונה הדרושה לכך ש-A תיהיה חבורה אינה מתקיימת. כלומר התכונה שלכל איבר ב-A קיים איבר הפיך לא מתקיימת לדעתי.
איך אני מראה את זה!? אני צריך להצביע על איבר ב-A שהחיתוך שלו עם כל איבר אחר מ-A לא נותן את S?
נניח אני מסתכל על הקבוצה הריקה. למעשה זו הקבוצה היחידה שאני יכול להסתכל עליה כי אני לא מכיר שום איבר ב-A.
החיתוך של הקבוצה הריקה עם כל איבר, הוא הקבוצה הריקה עצמה. ואם הקבוצה הריקה שונה מ-S, אזי לקבוצה הריקה אין איבר הפיך.
אבל איך אני יכול לדעת שהקבוצה הריקה שונה מהקבוצה S????