مجموعۀ پیشافشرده

مجموعه‌ای در فضای سنجه‌ای که به ‌ازای هر o<ε بتوان آن مجموعه را با تعداد متناهی از گوی‌های باز به شعاع و مرکزهایی در آن مجموعه پوشاند