1: \begin{definition}

2: Suppose that $T$ is an $\mathcal{L}$-theory and $\ind^{\circ}$ is an independence relation on a monster model $\mathfrak{C}\models T$. We say that $\ind^{\circ}$ satisfies \emph{the Independence Theorem over a model} if the following holds:

3: \begin{center}

4: For every small $M\preceq\mathfrak{C}$, small subsets $A,B\subseteq\mathfrak{C}$ and tuples $a,b\subseteq\mathfrak{C}$ \\ such that $A\ind^{\circ}_M B$, $a\ind^{\circ}_MA$, $b\ind^{\circ}_MB$ and $a\equiv_M b$, \\there exists

5: \\a tuple $c\subseteq\mathfrak{C}$ such that $c\equiv_{MA}a$, $c\equiv_{MB}b$ and $c\ind^{\circ}_MAB$.

6: \end{center}

7: \end{definition}

8: