:: deftheorem Def10 defines Positives SURREALI:def 10 :
for A being Ordinal
for b₂ being Subset of (Day A) holds
( b₂ = Positives A iff for x being Surreal holds
( x in b₂ iff ( x in Day A & 0_No < x ) ) );