for n being Element of NAT
for p being Point of (TOP-REAL n) holds {p} is bounded