:: deftheorem defines positive CGAMES_1:def 19 :
for g being ConwayGame holds
( g is positive iff ( g is nonnegative & not g is zero ) );