There exist $x_{1},\ldots ,x_{n}\in A\mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}B$ such that $a\sim 'x_{1}\sim '\cdots \sim 'x_{n}\sim 'b$, where we declare $x\sim 'y$ if one of the following conditions is satisfied:
-
There exists $c\in C$ such that $x=\webleft (0,f\webleft (c\webright )\webright )$ and $y=\webleft (1,g\webleft (c\webright )\webright )$.
-
There exists $c\in C$ such that $x=\webleft (1,g\webleft (c\webright )\webright )$ and $y=\webleft (0,f\webleft (c\webright )\webright )$.
In other words, there exist $x_{1},\ldots ,x_{n}\in A\mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}B$ satisfying the following conditions:
-
There exists $c_{0}\in C$ satisfying one of the following conditions:
-
We have $a=f\webleft (c_{0}\webright )$ and $x_{1}=g\webleft (c_{0}\webright )$.
-
We have $a=g\webleft (c_{0}\webright )$ and $x_{1}=f\webleft (c_{0}\webright )$.
-
For each $1\leq i\leq n-1$, there exists $c_{i}\in C$ satisfying one of the following conditions:
-
We have $x_{i}=f\webleft (c_{i}\webright )$ and $x_{i+1}=g\webleft (c_{i}\webright )$.
-
We have $x_{i}=g\webleft (c_{i}\webright )$ and $x_{i+1}=f\webleft (c_{i}\webright )$.
-
There exists $c_{n}\in C$ satisfying one of the following conditions:
-
We have $x_{n}=f\webleft (c_{n}\webright )$ and $b=g\webleft (c_{n}\webright )$.
-
We have $x_{n}=g\webleft (c_{n}\webright )$ and $b=f\webleft (c_{n}\webright )$.