theorem Th13: :: FUZZY_1:14

for C being non empty set
for f being Membership_Func of C holds f c=