שינויים

לא כל כך הבנתי את התשובה שלך. כמובן שלפני שאני שולח כאן אני מסתכל על הגדרות, ולכן אחדד את שאלתי (יש לי תחושה שלא הובנתי נכון): נניח שנתון לי ש-<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> (נראה לי שהתשובה היא כן אבל אני רוצה להיות בטוח)? והאם אני יכול להשתמש בזה בהוכחות בלי צורך להוכיח את זה כל פעם מחדש(או פשוט לומר ישירות שמכיוון שמתקיים <math>A \subset \ B</math> אז <math>P(A) \subset \ P(B)</math>)?