for m being non zero Element of NAT
for X being Subset of (REAL m)
for Y being Subset of (REAL-NS m) st X = Y holds
( X is open iff Y is open ) ;