التغطية المفتوحة للفضاء هي عائلة من المجموعات المفتوحة تحقق . ويكون متراصًّا إذا كان هاوسدورفيًا وقبلت كل تغطية مفتوحة تغطية جزئية منتهية. وهذا يكافئ (بأخذ المتممات): أن يكون لكل عائلة من المجموعات المغلقة تحقق خاصية التقاطع المنتهي (أي إن لكل عائلة جزئية منتهية تقاطعًا غير خالٍ) تقاطعٌ كلي غير خالٍ.
أمثلة
مثال 6.11
حاصل القسمة (بمطابقة مع ) مماثل طوبولوجيًا للدائرة : إذ ينتقل التطبيق إلى تقابل متصل (القضية 6.10(b))؛ ومقلوبه متصل بحجّة التراص في النتيجة 6.14 أدناه (ويفصّل التمرين 6.5 كل شيء، بما في ذلك سبب كون هاوسدورفيًا ومتراصًّا). وبالمثل فإن بلصق طرفيه هو ، والمربع بلصق أضلاعه المتقابلة هو الطارة، ويصير اللصق أخيرًا مبرهنةً لا صورة.