precompact set

precompact set ( ریاضی )
واژه مصوب: مجموعۀ پیشافشرده
تعریف: مجموعه ای در فضای سنجه ای که به ازای هر o< ε بتوان آن مجموعه را با تعداد متناهی از گوی های باز به شعاع و مرکزهایی در آن مجموعه پوشاند