:: deftheorem Def11 defines ConwayGameChain-like CGAMES_1:def 11 :
for f being non empty ConwayGame-valued FinSequence holds
( f is ConwayGameChain-like iff for n being Element of dom f st n > 1 holds
f . (n - 1) in the_Options_of (f . n) );