theorem Th21: :: FUZZY_2:21

for C being non empty set
for f, g being Membership_Func of C holds 1_minus (f \+\ g) c=