theorem Th13: :: FUZZY_6:12

for f, g being Function of REAL,REAL holds min (f,g) = (1 / 2) (#) ((f + g) - (abs (f - g)))