1: \begin{definition}[Injective perturbation]

2: A perturbation $P$ of an MPS $\ket{M(C)}$ (in the notation of

3: Theorem~\ref{thm:gs-subspace-parent}) is called \emph{injective} if

4: \begin{equation}

5: \label{eq:inj-condition-tensor}

6: \left(\begin{matrix}A&R\\L&B\end{matrix}\right)

7: \end{equation}

8: is an injective tensor.

9: \end{definition}

10: