:: deftheorem Def6 defines the_LeftOptions_of CGAMES_1:def 6 :
for g being ConwayGame
for b₂ being set holds
( b₂ = the_LeftOptions_of g iff ex w being left-right st
( g = w & b₂ = the LeftOptions of w ) );