திறந்த கணங்கள் மூலம் உண்டாக்கப்பட்ட இடவியல்வெளி S ஒன்றில் "அண்மை" என்ற கருத்து இப்படி வரையறுக்கப்படுகிறது. வெளி S இல் "p" என்ற புள்ளியை உள்ளடக்கிய எந்தத்திறந்தகணமும் அதை உள்ளடக்கிய எந்த உட்கணமும் p இன் அண்மையாகும். இவ்விதம் ஒவ்வொரு p க்கும் அண்மைகள் ஏற்படும். ஒரு p இன் எல்லா அண்மைகளின் தொகுதி A கீழ்க்கண்ட மூன்று கட்டுப்பாடுகளுக் குட்பட்டிருக்கும்: ( அ = அண்மை)

(அ 1) : S ε A ;,

(அ 2): " A" என்ற கணம் A இல் இருந்தால் "A" இன் ஒவ்வொரு மிகைக்கணமும் A இல் இருந்தாக வேண்டும்;

(அ 3): "A", "B" இரண்டும் A இல் இருந்தால் "A" ∩ " B" ம் A இல் இருந்தாக வேண்டும்.

இதன் மறுதலையாக, அண்மைகள் மூலம் இடவியல் அமைப்பை உண்டாக்குவதற்கு S இல் தொடங்கி அதிலுள்ள ஒவ்வொரு "p" க்கும், "p" ஐ உள்ளடக்கிய எல்லா கணங்களிலிருந்து மேற்சொல்லிய (அ1), (அ2), (அ3) க்குட்பட்டபடி ஒரு தொகுதி A யைப்பொறுக்கி இவைதான் "p" இன் அண்மைகள் என்று நிபந்தனை இட்டுவிட்டால் இடவியல் வெளி உண்டாகிவிடும்.

இம்மூன்று வழிகளில் ஏதாவதொன்றின் மூலம் இடவியல் அமைப்பை ஏற்படுத்திய பிறகு, எல்லாவற்றிலும் அண்மைகள் எவை, திறந்த கணங்கள் எவை, எல்லைப் புள்ளிகள் எவை என்றெல்லாம் திட்டவட்டமாகத் தெரிந்து கொள்ளும் முறைகள் தான் இடவியல் துறையின் அறிமுக அத்தியாயம். இதற்குப் பிறகுதான் இடவியலின் இயல்புகளே தெரிய வரும்.

அண்மைகள் மூலம் இடவியல்வெளி
முக்கிய நுண்பியல் குறிப்பு
இடவியல் அமைப்பு
உள்ளுணர்வு இடவியல் (Intuitive Topology)