שינויים
/* קבוצת החזקה (תרגיל 4 שאלה 5) */ פסקה חדשה
סה"כ קיבלנו <math>((a_1,b_1),(a_2,b_2))\in G\and ((a_2,b_2),(a_3,b_3))\in G\Rightarrow ((a_1,b_1),(a_3,b_3))\in G</math> ולכן G טרנזיטיבי.
== קבוצת החזקה (תרגיל 4 שאלה 5) ==
האם זה נכון לומר שאם {X} מוכל ב P(B) אזי x שייך לקבוצה B?