שינויים
/* אקסיומת הבחירה ואקסיומות שקולות */
*'''הלמה של צורן.''': תהי A קבוצה סדורה חלקית '''לא ריקה''' כך שלכל שרשרת המוכלת בA קיים חסם מלעיל מA. אזי קיים בA איבר מקסימלי (איבר שאין איבר שונה ממנו הגדול ממנו).
*'''עקרון המקסימום של האוסדורף''': כל שרשרת מוכלת בשרשרת מקסימלית (שרשרת מקססימאלית מקסימאלית = שרשרת שלא מוכלת ממש באף שרשרת אחרת. לחילופין, כל איבר שנוסיף לשרשרת תגרום לה לא להיות שרשרת)
