1: \begin{definition}

2: Given a 4-ary signature $f$ with the signature matrix 

3: \begin{equation}\label{outermatrix}

4: M(f)=\left[\begin{matrix}

5: 0 & 0& 0& 0\\

6: 0 & b& c& 0\\

7: 0 & z& y& 0\\

8: 0 & 0& 0& 0\\

9: \end{matrix}\right], %and $abxy\neq 0 $, 

10: \end{equation} 

11: %This subcase is proved in Theorem \ref{outer}. Otherwise, the inner pair is the zero pair. This subcase is proved in Theorem \ref{inner}. 

12: %In this section we prove Case 1 %~\ref{one-zero-pair}

13: %by two subcases: 

14: %\begin{itemize}

15: %\item  one of the outer pair $(a, x)$ or $(b, y)$ is a zero pair proved by %Theorem ~\ref{outer}

16: %\item  the inner pair $(c, z)$ is a zero pair proved by Theorem %\end{itemize}

17: we denote by $\widetilde{f}_{\rm {In}}$  the binary signature with

18:  $M(\widetilde {f}_{\rm {In}})=M_{\rm{In}}(f)\left[\begin{smallmatrix}

19: 0 & 1\\

20: 1 & 0\\

21: \end{smallmatrix}\right]=\left[\begin{smallmatrix}

22: c & b\\

23: y & z\\

24: \end{smallmatrix}\right].$ 

25: Given a set $\mathcal{ F}$ consisting of signatures of the form {\rm (\ref{outermatrix})}, we define $\mathcal{\widetilde F}_{\rm {In}} = \{\widetilde f_{\rm {In}} \mid f\in \mathcal{F}\}$.

26: \end{definition}

27: