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:75; :: thesis: verum