for n being Nat
for p being Point of (TOP-REAL n)
for r being Real holds OpenHypercube (p,r) c= ClosedHypercube (p,(n |-> r))