theorem Th23: :: FUZZY_1:24

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