theorem Th8: :: FUZZY_1:8

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