:: deftheorem Def7 defines the_RightOptions_of CGAMES_1:def 7 :
for g being ConwayGame
for b₂ being set holds
( b₂ = the_RightOptions_of g iff ex w being left-right st
( g = w & b₂ = the RightOptions of w ) );