finite intersection property

📌 ویژگی مجموعه‌ای از مجموعه‌های غیرتهی که در آن، نقاط تقاطع تمام اعداد متناهی ممکن از مجموعه‌ها، هر کدام حداقل شامل یک عنصر باشند.