למת פודור: הבדלים בין גרסאות

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