B-Meas is induced_sigma_Measure of Family_of_Intervals , J-Meas by MEASURE9:def 9, MEASUR10:6;
hence L-Meas is complete by MEASUR10:3, MEASUR10:6; :: thesis: verum