בסעיף ב' מזה אומר איחוד עם קבוצת אינסוף??.. זה הטיבעיים עד אינסוף??.. אבל הטבעיים לבד זה כבר עד אינסוף אז מזה משנה??.. או שזה כל המספרים בעולם, כלומר הממשיים?.. לא ממש הבנתי את השאלה!! תודה
'''>> זה אומר שהוסיפו באופן פורמלי את האיבר אינסוף. בעיקרון כשלוקחים איברים ב-N (או Z או Q וכו...) הכוונה שניתן לקחת n גדול ככל שנרצה אך המספר עדיין סופי. אם רוצים את האפשרות גם לקחת את אינסוף עצמו (מה שהכרחי אם בונים פונ' הפיכה ל-B), יש להוסיפו באופן פורמלי.
עדי