theorem :: FUZZY_2:11

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