theorem Th11: :: MESFUN16:11

for I, J being Interval holds
( [:I,J:] is Subset of [:RNS_Real,RNS_Real:] & [:I,J:] in sigma (measurable_rectangles (L-Field,L-Field)) )