reserve a,b,k,m,n,s for Nat;
reserve c,c1,c2,c3 for Complex;
reserve i,j,z for Integer;
reserve p for Prime;
reserve x for object;

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