for n being Nat
for B being non empty Subset of (TOP-REAL n)
for A being Subset of (TOP-REAL n)
for a being Real st A = { q where q is Point of (TOP-REAL n) : |.q.| = a } & A ` = B holds
(TOP-REAL n) | B is locally_connected