में सघन तब है जब — समतुल्य रूप से, हर अरिक्त विवृत अंतराल से मिलता है; और समतुल्य रूप से (प्रतिज्ञप्ति 12.11 (3) से), हर वास्तविक संख्या के अवयवों की सीमा है। उदाहरण: , , द्विआधारी संख्याएँ (अभ्यास 10.8), सघन उपसमूह (अभ्यास 10.9)।
उदाहरण
उदाहरण 12.17 (सघनता सापेक्ष है)
यहाँ परिभाषित “सघन” का अर्थ है में सघन; कोई समुच्चय इसके बदले रेखा के केवल किसी भाग में सघन हो सकता है। की द्विआधारी संख्याएँ, अर्थात् (अभ्यास 10.8), में समाए हर विवृत अंतराल से मिलती हैं पर निस्संदेह से पूरी तरह चूक जाती हैं: वे में सघन हैं, अर्थात् । सामान्य वाक्य “ में सघन है” का संक्षेप है — परिवेशी समुच्चय का नाम सदा लीजिए, क्योंकि सप्ताहांत समस्या के सिरे कैंटर समुच्चय में सघन हैं और साथ ही में कहीं सघन नहीं: एक ही समुच्चय, दो सच्चे और विपरीत सुनाई देने वाले वर्णन।
उदाहरण 12.18 (सघनता से निपटना)
तीन त्वरित चालें जो लगातार लौटती हैं। बड़ा करना: यदि सघन है और , तो सघन है (हर अंतराल पहले ही से मिलता है)। ले जाना: यदि सघन है, तो के लिए भी सघन है — अंतराल से तभी मिलता है जब अंतराल से मिले; अतः, मान लीजिए, के विषम गुणज सघन हैं। प्रतिच्छेदन विफल है: दो सघन समुच्चय एक-दूसरे से पूरी तरह चूक सकते हैं ( और ): सघनता सम्मिलन और ऐफ़ीन प्रतिचित्रणों में बची रहती है, प्रतिच्छेदन में कभी नहीं।
उदाहरण 12.12
; ; । के लिए: , , । के लिए: सघनता (प्रमेय 10.14) से प्रत्येक वास्तविक संख्या से अभिलग्न है, अतः जबकि (हर अंतराल में अपरिमेय संख्याएँ हैं): अर्थात् की परिसीमा पूरा है।