theorem Th35: :: FUZZY_1:36

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