reserve X, Y for non empty set;

theorem Th10:
  for R,S being RMembership_Func of X,X holds R is symmetric & S
  is symmetric implies converse max(R,S) = max(R,S)
by FUZZY_4:7;
