theorem :: FUZZY_2:45

for C being non empty set
for f, h, g being Membership_Func of C holds f ++ (max (g,h)) = max ((f ++ g),(f ++ h))