theorem Th15: :: MESFUN16:15

for A being Subset of [:RNS_Real,RNS_Real:] st A is open holds
A in sigma (measurable_rectangles (L-Field,L-Field))