theorem Th10: :: LFUZZY_1:10

for X being non empty set
for R, S being RMembership_Func of X,X st R is symmetric & S is symmetric holds
converse (max (R,S)) = max (R,S) by FUZZY_4:7;