:: deftheorem Def3 defines ConwayGame-like CGAMES_1:def 3 :
for x being set holds
( x is ConwayGame-like iff ex alpha being Ordinal st x in ConwayDay alpha );