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