for m being Nat
for T being non empty TopSpace
for f being Function of (TOP-REAL m),T holds
( f is continuous iff for p being Point of (TOP-REAL m)
for V being open Subset of T st f . p in V holds
ex s being positive Real st f .: (Ball (p,s)) c= V )