theorem :: FUZZY_2:47

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