for T being non empty TopSpace
for f being Function of T,R^1 holds
( f is continuous iff for p being Point of T
for r being positive Real ex W being open Subset of T st
( p in W & f .: W c= ].((f . p) - r),((f . p) + r).[ ) )