במתמטיקה ובתורת הקבוצות בפרט, חיתוך אלכסוני היא פעולה המוגדרת על סדרות מסוימות של קבוצות.
אם δ {\displaystyle \displaystyle \delta } סודר ו- ⟨ X α ∣ α < δ ⟩ {\displaystyle \displaystyle \langle X_{\alpha }\mid \alpha <\delta \rangle } סדרה של תת קבוצות של δ {\displaystyle \displaystyle \delta } אז החיתוך האלכסוני שלהן המסומן על ידי
Δ α < δ X α {\displaystyle \ \Delta _{\alpha <\delta }X_{\alpha }} ,
מוגדר להיות:
{ β < δ ∣ β ∈ ⋂ α < β X α } {\displaystyle \ \{\beta <\delta \mid \beta \in \bigcap _{\alpha <\beta }X_{\alpha }\}} .
כלומר, לכל סודר β {\displaystyle \displaystyle \beta } מתקיים β ∈ Δ α < δ X α {\displaystyle \displaystyle \beta \in \Delta _{\alpha <\delta }X_{\alpha }} אם ורק אם הוא שייך ל- β {\displaystyle \displaystyle \beta } האיברים הראשונים של הסדרה.
סודר ו- 
סדרה של תת קבוצות של אז החיתוך האלכסוני שלהן המסומן על ידי
,
.
מתקיים 
אם ורק אם הוא שייך ל- האיברים הראשונים של הסדרה.
