שינויים
/* עיקרון הסדר הטוב */
===עיקרון הסדר הטוב===
עיקרון הסדר הטוב הוא פשוט הטענה שלכל קבוצה <math>A</math> קיים סדר טוב
תרגיל:
תהא <math>A</math> קבוצה בת מנייה. הוכח כי ניתן לסדר אותה היטב.
פתרון:
לפי הנתון קיימת פונקציה חח"ע וכל <math>f:A\to \mathbb{N} </math>.
נגדיר את היחס הבא על <math>A</math> כך: <math>x\leq y \iff f(x)\leq f(y) </math>. זהו יחס סדר (השתכנעו!).
בנוסף, <math>A</math> סדורה היטב על ידו. הוכחה: תהא <math>B\subseteq A</math> תת קבוצה לא ריקה. אזי <math>f(B)\subseteq\mathbb{N}</math> תת קבוצה לא ריקה ולכן קיים בה איבר מינימום נסמנו <math>n</math>. בדקו כי
<math>f^{-1}(n)\in B</math> איבר מינימום.
==הכללות==
