theorem Th9: :: LFUZZY_1:9

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