for f, g being PartFunc of REAL,REAL st f a.e.= g, B-Meas holds
f a.e.= g, L-Meas