theorem
  for A being positive-membered set, B being set st B c= A holds
  B is positive-membered by Def2;
