theorem Th26: :: FUZZY_2:26

for C being non empty set
for f, g being Membership_Func of C st f \ g = EMF C holds
g c=