theorem :: FUZZY_1:39

for C being non empty set
for f, g being Membership_Func of C holds 1_minus (min (f,g)) c= by Th16, Th35;