חיתוך אלכסוני

במתמטיקה ובתורת הקבוצות בפרט, חיתוך אלכסוני היא פעולה המוגדרת על סדרות מסוימות של קבוצות.

אם $\displaystyle \delta$ סודר ו- $\displaystyle \langle X_{\alpha }\mid \alpha <\delta \rangle$ סדרה של תת קבוצות של $\displaystyle \delta$ אז החיתוך האלכסוני שלהן המסומן על ידי

$\ \Delta _{\alpha <\delta }X_{\alpha }$,

מוגדר להיות:

$\ \{\beta <\delta \mid \beta \in \bigcap _{\alpha <\beta }X_{\alpha }\}$.

כלומר, לכל סודר $\displaystyle \beta$ מתקיים $\displaystyle \beta \in \Delta _{\alpha <\delta }X_{\alpha }$ אם ורק אם הוא שייך ל- $\displaystyle \beta$ האיברים הראשונים של הסדרה.

ראו גם

• על מסנן נורמלי
• למת פודור