ערך זה עוסק בחיתוך, במובנו הכללי ביותר בתורת הקבוצות. אם התכוונתם לחיתוך של אובייקטים גאומטריים, ראו חיתוך (גאומטריה).
בתורת הקבוצות ובענפים אחרים במתמטיקה, החיתוך של שתי קבוצות ו- הוא הקבוצה המכילה את כל האיברים ב- ששייכים גם ל- (או באופן שקול, כל האיברים ב- ששייכים גם ל-), ורק אותם. החיתוך של ו- נכתב בדרך כלל כך: .
בדומה לאיחוד ולפעולות אחרות בתורת הקבוצות, אפשר להגדיר את החיתוך של משפחה כלשהי של קבוצות. נניח כי היא משפחה של קבוצות (כלומר, קבוצה של קבוצות שכל אחת מזוהה על ידי אינדקס השייך לקבוצת אינדקסים ), אז החיתוך שלהן יסומן , והגדרתו היא ש- אם ורק אם לכל מתקיים .
אם קבוצת האינדקסים ריקה, אומרים שהחיתוך הוא חיתוך ריק, השווה כביכול לקבוצה האוניברסלית שכל דבר הוא איבר שלה. על-מנת להבטיח שהחיתוך יהיה קבוצה, מגדירים את החיתוך של משפחת קבוצות בתוך מרחב נתון , ואז החיתוך של משפחה ריקה שווה, כעניין שבהגדרה, למרחב כולו.