שינויים
/* עקרון המקסימום של האוסדורף */
<videoflash>O_uDtoDRRZ8</videoflash>
*טענות שימושיות להמשך:
*תהי <math>U</math> קבוצה של יחסים מ<math>A</math> ל <math>B</math>, תהי <math>M\subseteq U</math> שרשרת ביחס ההכלה ונסמן את האיחוד הכללי של השרשרת ב<math>f=\cup_{R\in M} R</math>
*אזי:
**אם כל היחסים ב<math>M</math> ח"ע, אז גם <math>f</math> ח"ע
***אכן, יהיו <math>(a,b_1),(a,b_2)\in f</math>
***לכן קיימים <math>R_1,R_2\in M</math> כך ש <math>(a,b_1)\in R_1</math> וכן <math>(a,b_2)\in R_2</math>
***כיוון ש<math>M</math> שרשרת, אזי <math>R_1\subseteq R_2</math> (או ההפך) ולכן <math>(a,b_1),(a,b_2)\in R_2</math>
***כיוון ש<math>R_2</math> ח"ע נובע כי <math>b_1=b_2</math> כפי שרצינו.
**אם כל היחסים ב<math>M</math> חח"ע, אזי גם <math>f</math> חח"ע
***הוכחה דומה לח"ע
====אלף אפס היא העוצמה האינסופית הקטנה ביותר====
