theorem Th80b: :: DUALSP05:4

for X being non empty strict SubSpace of R^1
for f being RealMap of X
for g being PartFunc of REAL,REAL st g = f holds
( f is continuous iff g is continuous )