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