theorem Th80: :: DUALSP05:6

for A being non empty closed_interval Subset of REAL
for u being Function holds
( u is Point of (R_Normed_Algebra_of_ContinuousFunctions (ClstoCmp A)) iff ( dom u = A & u is continuous PartFunc of REAL,REAL ) )