:: deftheorem Def2 defines R2Homeomorphism TOPREALA:def 2 :
for b₁ being Function of [:R^1,R^1:],(TOP-REAL 2) holds
( b₁ = R2Homeomorphism iff for x, y being Real holds b₁ . [x,y] = <*x,y*> );