set
مجموعه
compact space
فضای فشرده
اگر اشتراک هر تعداد متناهی از مجموعه های خانواده، ناتهی باشد آنگاه اشتراک همه اعضای خانواده ناتهی است.
پالایه
filter
finite intersection property
ویژگی اشتراک متناهی