कोई कुल प्रसामान्य लांबिक कहलाता है यदि हो, और हिल्बर्ट आधार (प्रसामान्य लांबिक आधार) यदि इसके अतिरिक्त उसके परिमित रैखिक संचय में सघन हों (अर्थात् कुल संपूर्ण हो)। हम गणनीय स्थिति लेते हैं, जो ग्राम–श्मिट के माध्यम से प्रत्येक पृथक्करणीय को समेट लेती है (प्रतिज्ञप्ति 13.8)।
गणित · शब्दावली