theorem :: FUZZY_2:46

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