:: deftheorem Def2 defines positive-membered NUMBER15:def 2 :
for X being set holds
( X is positive-membered iff for x being ExtReal st x in X holds
x > 0 );