for n being Nat
for P being Subset of (TOP-REAL n) st P = REAL n holds
P is connected