:: deftheorem defines AlmostZeroCFunctions LPSPACC1:def 12 :
for X being non empty set
for S being SigmaField of X
for M being sigma_Measure of S holds AlmostZeroCFunctions M = { f where f is PartFunc of X,COMPLEX : ( f in L1_CFunctions M & f a.e.cpfunc= X --> 0c,M ) } ;