שינויים
/* לפי עקרון המקסימום של האוסדורף */
===== לפי עקרון המקסימום של האוסדורף =====
נגדיר <math>\mathcal{O}=\{F|A\subseteq F \land F \; is \; bob\}</math> כל קבוצות בוב שמכילות של A, מסודרת לפי היחס "הכלה הפוכה" (כלומר במקום <math>\subseteq</math> נעבוד עם <math>\supseteq</math>). מתקיים כי <math>\{P(X)\}</math> היא שרשרת (שימו לב ש <math>P(X )</math> היא בוב ומכילה את Aׂ) ולכן מוכלת בשרשרת מקסימאלית <math>\mathcal{C}</math>.
נגדיר <math>F=\cap_{F'\in \mathcal{C}}F'</math>.
