1: \begin{definition}

2: With the hypothesis of Theorem \ref{them:completeness}, let $\Lambda :  \bigcup\limits_{n\in \mathbb N} \mathcal R_G^{2^n} \to \text{\scnf}$ and $\lambda : \bigcup\limits_{n,m\in \mathbb N} \mathcal R_G^{2^n\times 2^m} \to \text{\snf}$ be defined as follows:

3: \begin{itemize}\def\fig{concatenation-of-states}

4: \item $\Lambda (x) := \eta^{-1}(x)$ if $x\in \mathcal R_G$,

5: \item $\Lambda(\ket 0 \otimes \ket {\psi_0}+ \ket 1 \otimes \ket {\psi_1}) := \def\fig{concatenation-of-states}\tikzfigc{02}$

6: \item $\lambda\left(\sum\limits_{\substack{x\in \{0,1\}^n\\y\in \{0,1\}^m}}\alpha_{x,y} \ket y \bra x\right) := \tikzfig{SNF-2}$, where $D = \Lambda \left(\sum\limits_{\substack{x\in \{0,1\}^n\\y\in \{0,1\}^m}} \alpha_{x,y}\ket x \ket y\right)$

7: \end{itemize}

8: \end{definition}