theorem :: LFUZZY_1:19

for X being non empty set
for R being RMembership_Func of X,X holds min (R,(converse R)) is symmetric