שאלה בקשר לסעיף א' בשאלה 1

צ"ל שלכל A מוכל ב-Y מתקיים ([f(f^-1[A מוכל ב-A

איך מתחילים את ההוכחה?

מניחים שלכל A שמוכל ב-Y מתקיים:

y שייך ל- ([f(f^-1[A ומראים ש y שייך לA?

ההכלה נובעת מהגדרות אבל לא הבנתי איך מתייחסים לנתון שלכל A מוכל ב-Y.

תודה רבה!

הטענה היא שההכלה מתקיימת לכל קבוצה A. לביטוי יש משמעות רק כש A תת קבוצה של Y. אכן, צריך לקחת תת קבוצה שרירותית A של Y ובאמת להראות את ההכלה כפי שציינת ברמה של איברים. ההכלה נובעת מההגדרות אבל צריך להראות איך בדיוק. --מני 01:04, 28 בפברואר 2013 (IST)

שאלה 5

שאני מנסה להוכיח סימטריות אני תמיד מגיע למצב שבו אני מניח אי שליליות. 
אני אמור להניח זאת? אם לא אני לא מבין איך להוכיח את זה?