קצת סדר.
קבוצת החזקה של A היא קבוצת כול תתי הקבוצות של A. למשל, אם A={1,2,3} אז קבוצת החזקה היא: {{1,2,3},{1,2},{2,3},{1,3},{1},{2},{3},{}}. אז כמו שאתה רואה, קבוצת החזקה לא מוכלת בA (למעשה, ההפך הוא הנכון). את השאלה הראונה שלך לא כול כך הבנתי. מה זה אומר "x מייצג קבוצות"?