theorem :: FUZZY_2:16

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