תורת הקבוצות/סודרים: הבדלים בין גרסאות בדף

{{הוכחה|לכל <math>x<\alpha</math> מתקיים <math>x\subset\alpha</math>, לכן <math>\bigcup_{x<\alpha)}x\subseteq\alpha</math>. יהי <math>y\in\alpha</math>. אז <math>S(y)\le\alpha</math>, ומכיוון ש<math>\alpha</math> גבולי, נקבל <math>S(y)\not=\alpha</math>, כלומר <math>S(y)<\alpha</math>. לכן <math>y\in S(y)<\alpha\Rightarrow y\in\bigcup_{x<\alpha}x</math>. לכן <math>\alpha=\bigcup_{x<\alpha}x</math>.}}