theorem :: FUZZY_2:7

for C being non empty set
for f being Membership_Func of C holds f \ (EMF C) = f