:: deftheorem Def10 defines ConwayGame-valued CGAMES_1:def 10 :
for f being Function holds
( f is ConwayGame-valued iff for x being set st x in dom f holds
f . x is ConwayGame );