שינויים

הלמה של צורן שקולה ל'''אקסיומת הבחירה.''' תהי <math>\{A_i\}_i{\in I}</math> משפחה של קבוצותלא ריקות. אזי קיימת פונקציה <math>f:\{A_i\}_{i\in I}\rightarrow\bigcup_{i\in I}A_i </math> המקיימת <math>\forall i\in I:f(A_i)\in A_i</math>. במילים פשוטות: ניתן לבנות פונקציה הבוחרת נציג מכל קבוצה.