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