theorem :: FUZZY_1:35

for C being non empty set
for f, h, g being Membership_Func of C st max (g,h) c= & min (f,h) = EMF C holds
g c=