1: \begin{definition}

2: Let $S \subset [m] \times [n]$, $I \subset [m]$ and $J \subset [n]$. 

3: Let $X(I,J;S)$ be the subset of $\mathbb{R}^S$

4: such that: \begin{enumerate} \setlength{\itemsep}{-2pt}

5: \item for $(i,j) \in S$, $m_{ij} = 0$ if and only if $i \in I$ or

6: $j \in J$, and 

7: \item for the pattern $S'$ induced by restricting $S$ to

8: $([m] \setminus I) \times ([n] \setminus J)$ 

9: the conditions of Theorem~\ref{main_theorem} are satisfied.

10: \end{enumerate}

11: \end{definition}

12: