theorem Th29: :: FUZZY_2:29

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