שינויים
/* אקסיומת הבחירה */
**ניקח פונקצית בחירה <math>h:U\to B</math> ונגדיר <math>f:A\to B</math> ע"י <math>f(a)=h(g^{-1}[\{a\}])</math>
**אכן <math>f</math> חח"ע כי אם <math>f(a_1)=f(a_2)=b</math> אזי <math>b\in g^{-1}[\{a_1\}]</math> וכן <math>b\in g^{-1}[\{a_2\}]</math>
**ולכן <math>g(b)=a_1</math> וכן <math>g(b)=a_2</math>, כלומר <math>a_1=a_2</math>
<videoflash>Dl6sgVGZksk</videoflash>
