theorem :: FUZZY_2:50

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