בתרגיל 1 ב' , בסוף בסוף רשום שהקבוצה שמכילה את X לא שווה ל A ורשום שזה גורר ש הקבוצה שמכילה את הקבוצה שמכילה את X לא שייכת לקבוצה שמכילה את A . אולי זה נכון לא בדקתי אבל אני יודע שזה לא תורם למשפט הסיום .
== מה זאת אומרת קבוצת החזקה של זוגות סדורים כמו ==
(1,1)