theorem :: FUZZY_2:31

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