:: deftheorem defines zeroCoset LPSPACE2:def 9 :
for X being non empty set
for S being SigmaField of X
for M being sigma_Measure of S
for k being positive Real holds zeroCoset (M,k) = a.e-eq-class_Lp ((X --> 0),M,k);