למת פודור – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 16:
נסתכל על הקבוצה הבאה:
:<math>D = \{ \alpha < \kappa | \forall \beta < \alpha,\, \alpha \in D_\beta \}</math>
קבוצה זו מכונה '''[[חיתוך אלכסוני|החיתוך האלכסוני]]''' של האוסף <math>\{C_\alpha \}_{\alpha < \kappa}</math>. ניתן לוודא כי D סגורה ולא חסומה.
D זרה ל-S, כי עבור איבר <math>\alpha</math> בחיתוך היה מתקבל כי:
| |||