theorem :: LFUZZY_1:8

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