שינויים
/* אקסיומת הבחירה ואקסיומות שקולות */
*'''הלמה של צורן.''': תהי A קבוצה סדורה חלקית '''לא ריקה''' כך שלכל שרשרת המוכלת בA קיים חסם מלעיל מA. אזי קיים בA איבר מקסימלי (איבר שאין איבר שונה ממנו הגדול ממנו).
*'''עקרון המקסימום של האוסדורף''': כל שרשרת מוכלת בשרשרת מקסימלית (שרשרת מקססימאלית מקסימאלית = שרשרת שלא מוכלת ממש באף שרשרת אחרת. לחילופין, כל איבר שנוסיף לשרשרת תגרום לה לא להיות שרשרת)
אם <math>a<|\hat{B}|</math> אז לפי סעיף א' קיימת לה תת קבוצה <math>\hat{A}</math> מעוצמה a. לפי הגדרה <math>\hat{B}</math> מתקיים כי <math>\hat{A}</math> זרה לכל קבוצה ב T ולכן <math>T\cup \{\hat{A}\}\in \mathcal{O}</math> ואם נוסיף אותה ל C נקבל שרשרת שמכילה ממש את C בסתירה למקסימאליות של C.
לכן <math>|\hat{B}|\leq a</math> ונבחר קבוצה אחת A ששייכת T (קיימת לפי סעיף א) ונחליף אותה ב <math>A\cup\{\hat{B}\}</math>. מכיוון ש a עוצמה אינסופית נקבל כי <math>A\cup\{\hat{B}\}</math> מעוצמה a גם כן (בצירוף <math>|\hat{B}|\leq a</math>) וקיבלנו כעת קבוצות זרות שכל אחת מעוצמה a שהאיחוד של כולם שווה ל B כנדרש
===תרגיל===
א. <math>X\in F</math>
ב. <math>B,C\in F \Rightarrow B\cap C \in F</math>(סגורה לחיתוכים סופיים)
ג. <math>B \in F \land B\subset C \Rightarrow C\in F</math>(סגורה כלפי מעלה)