theorem :: NUMBER15:41

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