1: \begin{definition}[Complementary channel] Let $\tV \in \Trnset (\rA, \rB \rE)$ be a reversible dilation of channel $\tC \in \Trnset (\rA, \rB)$, as in Theorem \ref{theo:stine}. The \emph{complementary channel} of $\tC$ is the channel $\widetilde{\tC} \in \Trnset (\rA, \rE)$ defined by 

2: \begin{equation}

3:  \begin{aligned} \Qcircuit @C=1em @R=.7em @! R {&\poloFantasmaCn{\rA}\qw &\gate{\widetilde{\tC}}&\qw\poloFantasmaCn{\rE}&\qw}

4: \end{aligned} ~=~ \begin{aligned} \Qcircuit @C=1em @R=.7em @! R {   & & \pureghost{\tV} & \qw\poloFantasmaCn{\rE}&\qw \\ 

5:  &\qw\poloFantasmaCn{\rA}& \multigate{-1}{\tV}&\qw\poloFantasmaCn{\rB}&\measureD e }

6: \end{aligned}

7: \end{equation}

8: \end{definition}

9: