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

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

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

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

מוגדר להיות:

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

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

ראו גם

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