theorem Th1: :: FUZZY_8:9

for c being Real
for f, g being PartFunc of REAL,REAL st f is continuous & g is continuous & f . c = g . c & ].-infty,c.] c= dom f & [.c,+infty.[ c= dom g holds
(f | ].-infty,c.]) +* (g | [.c,+infty.[) is continuous