reserve X, Y for non empty set;

theorem Th9:
  for R,S being RMembership_Func of X,X holds R is symmetric & S is
  symmetric implies converse min(R,S) = min(R,S)
by FUZZY_4:8;
