theorem Th7: :: FUZZY_1:7

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