theorem Th9: :: FUZZY_1:9

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