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