שינויים
/* תרגיל 3 שאלה 2 */
תודה, בסוף הוכחתי בשלילה באינדוקציה שאם לכל איבר קיים קטן ממנו שלא שווה לו, אז אנחנו לא חוזרים על איברים פעמיים באינדק' ומצד שני לכל איבר אנחנו מוצאים איבר חדש שבתת קבוצה של X, לכן יש בתת הקבוצה כמות איברים ככל שנרצה, בסתירה להנחה ש X סופית.
:: אגב, צריך לציין בתרגיל שתת הקבוצה של X שונה מ phi.