שינויים
/* אקסיומת הבחירה */
===אקסיומת הבחירה ועקרון המקסימום של האוסדורף===
====אקסיומת הבחירה====
*תהי S קבוצת קבוצת קבוצות לא ריקות, ונסמן את האיחוד הכללי ב <math>U=\cup_{X\in S}X</math>.
*אזי קיימת פונקצית בחירה <math>f:S\to U</math> הבוחרת איבר מתוך כל קבוצה, כלומר:
**<math>\forall X\in S: f(X)\in X</math>
