1≤p<∞ के लिए Lp(μ) ∥f∥p=(∫∣f∣pdμ)1/p<∞ वाले मापनीय f का समुच्चय है, और L∞(μ) किसी शून्य समुच्चय के बाहर परिबद्ध f का समुच्चय, जिस पर ∥f∥∞ सारभूत उच्चतम है — अर्थात् वह न्यूनतम M जिसके लिए लगभग सर्वत्र ∣f∣≤M हो (यह निम्नतम प्राप्त हो जाता है: M+n1 के लिए शून्य समुच्चयों का प्रतिच्छेदन लीजिए)। चूँकि ∥f∥p=0 से केवल लगभग सर्वत्र f=0 अनिवार्य होता है (अभ्यास 10.5), हम
Lp(μ)=Lp(μ)/{f=0 लगभग सर्वत्र}:
परिभाषित करते हैं; अवयव शून्य समुच्चयों के सापेक्ष फलनों के वर्ग हैं, और ∥⋅∥p Lp पर एक सच्चा मानक है।