:: deftheorem defines CLSp_AlmostZeroFunct LPSPACC1:def 13 :
for X being non empty set
for S being SigmaField of X
for M being sigma_Measure of S holds CLSp_AlmostZeroFunct M = CLSStruct(# (AlmostZeroCFunctions M),(In ((0. (CLSp_L1Funct M)),(AlmostZeroCFunctions M))),(add| ((AlmostZeroCFunctions M),(CLSp_L1Funct M))),(Mult_ (AlmostZeroCFunctions M)) #);