theorem Th27: :: FUZZY_2:27

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