for x, y being Real holds R2Homeomorphism . [x,y] = <*x,y*> by Def2;
hence for A, B being Subset of REAL holds R2Homeomorphism .: [:A,B:] = product (1,2 --> A,B) by TOPREAL6:84; :: thesis: verum