theorem Th26: :: FUZZY_1:27

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