מס. 1 נראה לי פשוט אם הבנתי נכון
צריך להוכיח שאיחוד קבוצה בת-מניה של קבוצות סופיות\בנות-מניה הוא קבוצה בת-מניה או סופית? אפשר למספר את אברי האיחוד
ישירות בשיטה, בה ממספרים את המספרים הרציונליים החיוביים. למשל כך: נתונות הקבוצות:
{ a_1_1, a_1_2, a_1_3, . . . } { a_2_1, a_2_2, a_2_3, . . . } { a_3_1, a_3_2, a_3_3, . . . } . . .
וכו'. אפשר להציג את האיחוד שלהן כך:
{ a_1_1, a_1_2, a_2_1, a_1_3, a_2_2, a_3_1, a_1_4, a_2_3, a_3_2, a_4_1, . . . }
כלומר, "רצים על" כל האלכסונים. הערות חשובות: 1. לוקחים רק אברים
קיימים. בכל אלכסון יכולים להיות חורים, אם לפני-כן הסתיימה סדרה סופית. 2. מדלגים גם על אברים שכבר הופיעו.