:: deftheorem Def8 defines positive SURREALI:def 8 :
for x being Surreal holds
( x is positive iff 0_No < x );