theorem MMcon2: :: FUZZY_5:16

for F, f, g being Function of REAL,REAL st f is continuous & g is continuous & ( for x being Real holds F . x = max ((f . x),(g . x)) ) holds
F is continuous