theorem Th4: :: FUZZY_2:4

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