theorem Th18: :: FUZZY_1:19

for C being non empty set
for f, h, g being Membership_Func of C st h c= & h c= holds
h c=