שינויים

: ====שאלה נוספת בנושא====לא כל כך הבנתי את התשובה שלך. כמובן שלפני שאני שולח כאן אני מסתכל על הגדרות, ולכן אחדד את שאלתי (יש לי תחושה שלא הובנתי נכון): נניח שנתון לי ש-<math>X</math> כלשהו שייך לקבוצה <math>A</math> ושאותה קבוצה <math>A</math> מוכלת בקבוצה <math>B</math> כלשהי. לכן האיבר <math>X</math> הינו איבר גם בקבוצה <math>B</math>. משום כך {X} הוא איבר ב- <math>P(A)</math> וגם ב- <math>P(B)</math>. האם מכאן אני יכול לקבוע שהקבוצה <math>P(A)</math> מוכלת בקבוצה <math>P(B)</math> (נראה לי שהתשובה היא כן אבל אני רוצה להיות בטוח)? והאם אני יכול להשתמש בזה בהוכחות בלי צורך להוכיח את זה כל פעם מחדש?תודה, גל.