:: deftheorem Def5 defines 1_minus FUZZY_1:def 5 :
for C being non empty set
for h, b₃ being Membership_Func of C holds
( b₃ = 1_minus h iff for c being Element of C holds b₃ . c = 1 - (h . c) );