{:=}}y\in Y_0$ for $y\in Y_0\setminus Y_\cap$ and $\phi_*(y){\mathrel{:=}}y\in Y_1$ for $y\in Y_1\setminus Y_\cap$. Notice that this is a continuous, $G$[-]{}equivariant map. Thus $Z\in\mathcal{S}$ implies $Y\in\mathcal{S}$.

A cycle for ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Z;A,A)$ is a triple $(f_0,f_1,f_\cap)$, where $f_j$ is a cycle for ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X} (Y_j;A,A)$ for $j=0,1$ and $f_\cap$ is a homotopy in ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,A)$ between $f_0|_{Y_\cap}$ and $f_1|_{Y_\cap}$. Fix any such cycle. The cycles $f_0$ and $f_1$ are homotopic to $0$ because $Y_0,Y_1\in\mathcal{S}$ and $A\in{{\mathcal{CC}}}$. This yields a homotopy between $(f_0,f_1,f_\cap)$ and $(0,0,f_\cap')$, where $f_\cap'$ is some cycle for ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap\times [0,1];A,A)$ whose restrictions to $0$ and $1$ vanish. Thus $f_\cap'$ is equivalent to a cycle for $${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X\times [0,1]}(Y_\cap;C([0,1],A),\Sigma A)
  \cong {\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,\Sigma A).$$ Apply  to the coordinate projection $X\times Y_\cap \times [0,1]\to X\times Y_\cap$ to get this isomorphism. We have ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,\Sigma A)=0$
{: = } } y\in Y_0 $ for $ y\in Y_0\setminus Y_\cap$ and $ \phi_*(y){\mathrel{:=}}y\in Y_1 $ for $ y\in Y_1\setminus Y_\cap$. Notice that this is a continuous, $ G$[-]{}equivariant map. Thus $ Z\in\mathcal{S}$ implies $ Y\in\mathcal{S}$. 

 A cycle for $ { \mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Z;A, A)$ is a ternary $ (f_0,f_1,f_\cap)$, where   $ f_j$ is a hertz for $ { \mathrm{RKK}}^{G{\mathbin{\ltimes}}X } (Y_j;A, A)$ for $ j=0,1 $ and   $ f_\cap$ is a homotopy in $ { \mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A, A)$ between $ f_0|_{Y_\cap}$ and $ f_1|_{Y_\cap}$. Fix any such cycle. The cycles $ f_0 $ and   $ f_1 $ are homotopic to   $ 0 $ because $ Y_0,Y_1\in\mathcal{S}$ and $ A\in{{\mathcal{CC}}}$. This give way a homotopy between $ (f_0,f_1,f_\cap)$ and $ (0,0,f_\cap')$, where $ f_\cap'$ is some cycle for $ { \mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap\times [ 0,1];A, A)$ whose restrictions to $ 0 $ and   $ 1 $ vanish. therefore   $ f_\cap'$ is equivalent to a cycle for $ $ { \mathrm{RKK}}^{G{\mathbin{\ltimes}}X\times [ 0,1]}(Y_\cap;C([0,1],A),\Sigma A) 
   \cong { \mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,\Sigma A).$$ Apply    to the coordinate project $ X\times Y_\cap \times [ 0,1]\to X\times Y_\cap$ to get this isomorphism. We have $ { \mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,\Sigma A)=0 $
{:=}}y\in Y_0$ for $y\in Y_0\setminus Y_\cak$ and $\phi_*(y){\mathrel{:=}}i\ib Y_1$ foc $y\in Y_1\aetminus Y_\cap$. Notice that this is a rontunuouw, $G$[-]{}equivariant map. Thur $Z\in\mathbal{S}$ implues $B\in\mathcal{S}$.

A cycle for ${\mathrm{RIN}}^{G{\machuin{\ltimes}}X}(Z;A,A)$ ix a triple $(f_0,f_1,f_\cap)$, where $f_b$ ks a cycle for ${\mathrm{RKK}}^{G{\mathbin{\ltimef}}X} (Y_j;A,A)$ flr $j=0,1$ and $f_\cap$ if a njmotkiy in ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\dap;A,A)$ bttween $f_0|_{Y_\cap}$ and $f_1|_{U_\cap}$. Fix any such cycle. Thf cyfles $f_0$ and $f_1$ are holotopic to $0$ vecatwe $Y_0,Y_1\in\mathcxl{S}$ and $A\in{{\mathcal{CC}}}$. Tgis yields a homotopy between $(f_0,w_1,f_\cap)$ and $(0,0,f_\cap')$, qhwre $x_\cap'$ is somx cyclv for ${\mathrm{RKK}}^{G{\mathbhn{\ltimex}}X}(Y_\cap\times [0,1];A,A)$ whmse restrictions to $0$ and $1$ vanish. Thus $f_\cap'$ if equivalanc to a cycle for $${\mathem{EKK}}^{G{\mdthbhn{\ltknes}}B\tijex [0,1]}(G_\cap;C([0,1],A),\Digja A)
  \cong {\mathrm{RKK}}^{G{\nathbin{\ltimes}}X}(Y_\cap;A,\Xidna A).$$ Apply  to the cjowdinate projection $X\times Y_\cap \times [0,1]\to X\tjmes Y_\cap$ to get this iwomorphism. We have ${\majhrm{RKK}}^{G{\maehbin{\ltimes}}X}(Y_\cap;A,\Sigma A)=0$
{:=}}y\in Y_0$ for $y\in Y_0\setminus Y_\cap$ and for Y_1\setminus Y_\cap$. that this is $Z\in\mathcal{S}$ $Y\in\mathcal{S}$. A cycle ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Z;A,A)$ is a $(f_0,f_1,f_\cap)$, where $f_j$ is a cycle ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X} (Y_j;A,A)$ for $j=0,1$ and $f_\cap$ is a homotopy in ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,A)$ between $f_0|_{Y_\cap}$ $f_1|_{Y_\cap}$. Fix any such cycle. The cycles $f_0$ and $f_1$ are homotopic to because and This a homotopy between $(f_0,f_1,f_\cap)$ and $(0,0,f_\cap')$, where $f_\cap'$ is some cycle for ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap\times [0,1];A,A)$ whose restrictions $0$ and $1$ vanish. Thus $f_\cap'$ is equivalent a cycle for $${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X\times A) \cong {\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,\Sigma A).$$ Apply the projection $X\times \times X\times to get this We have ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,\Sigma A)=0$
{:=}}y\in Y_0$ for $y\in Y_0\setminus Y_\cap$ anD $\phi_*(y){\mathrEl{:=}}y\in y_1$ foR $y\iN Y_1\SetmInus y_\cap$. Notice that THis iS a continuous, $G$[-]{}equivariaNt map. thUS $Z\in\MAtHcal{S}$ Implies $y\In\MAThcAl{s}$.

A CycLe FOr ${\MathrM{RKk}}^{G{\mathbIn{\ltimes}}X}(Z;a,A)$ iS a Triple $(f_0,f_1,f_\cap)$, WHeRe $f_j$ is a cycLe fOr ${\mathrm{RKK}}^{G{\MatHbin{\ltImEs}}X} (y_J;A,A)$ foR $j=0,1$ aNd $f_\caP$ is a hoMOtopy iN ${\mathrm{RKk}}^{G{\MAthbin{\LTimes}}X}(Y_\CAP;A,a)$ betWeen $f_0|_{Y_\cap}$ and $f_1|_{Y_\cap}$. fIx ANy such cycle. The Cycles $F_0$ aND $f_1$ ARE hoMotOpic to $0$ becaUsE $Y_0,Y_1\in\MAthcal{S}$ ANd $a\IN{{\MatHCal{CC}}}$. This yielDs a homotopy BEtwEen $(f_0,f_1,f_\CaP)$ anD $(0,0,F_\cap')$, whEre $f_\cAp'$ IS soMe cycle for ${\mAthrM{RKK}}^{G{\mathBin{\ltiMEs}}X}(Y_\cap\TImes [0,1];A,A)$ wHose reStrIctIons TO $0$ aNd $1$ VanIsH. thuS $F_\cAp'$ iS EquIvalent tO a CyCle foR $${\matHRM{rkK}}^{G{\mAthBin{\lTimes}}x\times [0,1]}(Y_\cap;C([0,1],A),\SIgmA A)
  \coNG {\maThrm{RkK}}^{G{\maThbiN{\lTimes}}x}(Y_\cap;A,\sigma a).$$ APply  to the coordiNate ProjectioN $X\tImEs Y_\CaP \timeS [0,1]\To X\timEs Y_\Cap$ To get thIs isomoRPhiSm. wE HAvE ${\mathrm{RKK}}^{G{\mathbin{\LtIMEs}}x}(Y_\cap;A,\SiGma A)=0$
{:=}}y\in Y_0$ for $y\in Y _0\setminu s Y_\ cap $ a nd  $\p hi_* (y){\mathrel{: = }}y\ in Y_1$ for $y\in Y_1\ setmi nu s  Y_\ c ap $. No tice th a tt h isis  a  co nt i nu ous,$G$ [-]{}eq uivariantmap .Thus $Z\in\m a th cal{S}$ im pli es $Y\in\mat hca l{S}$. 
A c y cle f or${\ma thrm{R K K}}^{G {\mathbin {\ l times} } X}(Z;A, A ) $is a  triple $(f_0,f_1 , f_ \ cap)$, where $ f_j$ i sa  c y c lefor  ${\mathrm {R KK}}^ { G{\math b in { \ l tim e s}}X} (Y_j;A, A)$ for $j= 0 ,1$  and $ f_ \ca p $ is a  homo to p y i n ${\mathrm {RKK }}^{G{\ma thbin{ \ ltimes} } X}(Y_\c ap;A,A )$bet ween $f _0 |_{ Y_ \ cap } $and $f_ 1|_{Y_\c ap }$ . Fix  any s u c h cy cle . Th e cyc les $f_0$ and  $f _1$a rehomot opicto $ 0$  beca use $Y _0,Y_ 1\ in\mathcal{S}$and$A\in{{\m ath ca l{C C} }}$.T his yi eld s a  homoto py betw e en$( f _ 0 ,f _1,f_\cap)$ and $( 0, 0 , f_ \cap')$,  where $f _\ c ap'$ isso mecycl e for $ {\ma t hr m{RKK}}^ {G{\ma t hb in {\ltime s} }X}(Y_ \c ap\ tim es [0 , 1];A ,A)$ w hose res trict i ons to $0$ and $1$ vanish. T h us $ f_ \ cap' $ i s equivalen t to a cy clef or  $$ { \math rm{RK K} } ^{ G {\mathbin{\ltimes}} X\ times[0,1] }(Y_\cap;C([0 ,1],A),\Si g m a  A)
  \c ong{ \m a thrm{RKK}}^{G{ \math bin{\ltime s }}X}(Y_\ cap;A ,\SigmaA).$$ App l y   to the  co ord ina tep r oj ection $X\tim e s  Y_\ ca p \time s [ 0,1]\to  X\ tim esY_\ ca p$ to get  this is om or ph is m.We ha v e ${\mat hr m{R KK }}^ {G{\m a thbin{ \ltim es}} X} (Y _ \ca p;A,\Si g ma A )=0$ 
{:=}}y\in Y_0$_for $y\in_Y_0\setminus Y_\cap$ and $\phi_*(y){\mathrel{:=}}y\in_Y_1$ for_$y\in_Y_1\setminus Y_\cap$._Notice_that this is_a continuous, $G$[-]{}equivariant_map. Thus $Z\in\mathcal{S}$ implies_$Y\in\mathcal{S}$.

A cycle for_${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Z;A,A)$_is a triple $(f_0,f_1,f_\cap)$, where $f_j$ is a cycle for ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X} (Y_j;A,A)$ for $j=0,1$ and $f_\cap$_is_a homotopy_in_${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,A)$_between $f_0|_{Y_\cap}$ and $f_1|_{Y_\cap}$. Fix_any such cycle. The cycles_$f_0$ and $f_1$_are homotopic to $0$ because $Y_0,Y_1\in\mathcal{S}$ and $A\in{{\mathcal{CC}}}$. This_yields_a homotopy between_$(f_0,f_1,f_\cap)$ and $(0,0,f_\cap')$, where $f_\cap'$ is some cycle for_${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap\times [0,1];A,A)$ whose restrictions to $0$_and $1$ vanish. Thus $f_\cap'$_is_equivalent_to a cycle for_$${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X\times [0,1]}(Y_\cap;C([0,1],A),\Sigma A)
  \cong {\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,\Sigma_A).$$ Apply  to the coordinate projection_$X\times Y_\cap \times [0,1]\to X\times Y_\cap$ to_get this isomorphism. We have ${\mathrm{RKK}}^{G{\mathbin{\ltimes}}X}(Y_\cap;A,\Sigma_A)=0$