theorem :: LFUZZY_1:18

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