theorem :: FUZZY_2:12

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