==שאלה 9==
אם אני צריכה להוכיח שמשהו מוכל ממש במשהו אחר, והוכחתי שזה מול או שווה, ובנוסף, מצאתי דוגמא לכך שזה שווה. זה נחשב הוכחה או הפרכה?
-::נראה לי שהכוונה ב"מוכל ממש" (גם לפי הסימן) היא שקבוצה אחת מוכלת בקבוצה שנייה אבל לא שווה לה. לכן את צריכה להוכיח שקבוצה אחת מוכלת בשנייה, וגם להוכיח שהיא לא שווה לה. אם תוכיחי את זה, זאת תהיה הוכחה (לא הפרכה). את יכולה להסביר איך הצלחת להוכיח את ההכלה בשאלה 9? תודה
==הוכחה==