का विवृत आवरण विवृत समुच्चयों का ऐसा कुल है जिसके लिए हो। संहत कहलाती है यदि वह हाउसडॉर्फ हो और उसका प्रत्येक विवृत आवरण कोई परिमित उपआवरण स्वीकार करे। समतुल्य रूप से (पूरक लेने पर): परिमित प्रतिच्छेदन गुण वाले संवृत समुच्चयों के प्रत्येक कुल (जिसके सभी परिमित उपकुलों का प्रतिच्छेदन अरिक्त हो) का कुल प्रतिच्छेदन अरिक्त होता है।
उदाहरण
उदाहरण 6.11
भागफल ( और की पहचान कीजिए) वृत्त के समस्थितिक है: प्रतिचित्रण एक संतत एकैकी आच्छादक प्रतिचित्रण तक जाता है (प्रतिज्ञप्ति 6.10(ख)); और उसका प्रतिलोम नीचे उपप्रमेय 6.14 के संहतता तर्क से संतत है (अभ्यास 6.5 सब कुछ विस्तार से देता है, यह भी कि हाउसडॉर्फ और संहत क्यों है)। इसी प्रकार सिरे जोड़ने पर बन जाता है, सम्मुख भुजाएँ जोड़ने पर वर्ग टोरस बन जाता है, और जोड़ना अंततः एक प्रमेय बन जाता है, चित्र नहीं।