theorem :: FUZZY_5:15

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