theorem :: FUZZY_2:13

for C being non empty set
for f, g being Membership_Func of C holds (max (f,g)) \ g c= by Th4, FUZZY_1:17;