theorem Th16: :: FUZZY_1:17

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