theorem :: FUZZY_1:46

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