
theorem
  for X,Y being non empty Subset of ExtREAL holds X c= Y iff - X c= - Y
  by MEMBER_1:3;
