theorem :: FUZZY_1:26

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