theorem Th20: :: TOPREAL6:22

for A, B being Subset of REAL holds product ((1,2) --> (A,B)) is Subset of (TOP-REAL 2)