שינויים
/* קבוצה סופית או בת מניה */
אם ידוע ש-|A| קטנה או שווה לאלף 0, די ברור שמכך נובע ש-A סופית או בת מניה. האם צריך להוכיח את זה?
:אי אפשר להוכיח את זה, זה ההגדרה של בת מניה!
::תודה! (אני שאלתי את השאלה) ראיתי אצלי במחברת שהמרצה הגדיר קבוצה בת מניה כקבוצה שקטנה או שווה לאלף 0, וזה מה שבילבל אותי (כי בתרגיל זה אמור לצאת ש-A סופית או בת מניה) אבל המתרגל הגדיר קבוצה בת מניה כקבוצה ששווה לאלף 0. אז חיפשתי קצת בויקיפדיה וכתוב ככה: "קבוצה בת מנייה היא קבוצה שעוצמתה שווה לעוצמת המספרים הטבעיים... לעתים כוללים בהגדרה זו גם את הקבוצות הסופיות". אז פשוט ההגדרה של המרצה כללה גם את הקבוצות הסופיות. לכן באמת לפי ההגדרה הזו של בת מניה אפשר להגיד ש-A סופית או בת מניה.
==שאלה כללית==
משתמש אלמוני
