1: \begin{definition}\label{def:ind.thm}

2: Suppose that $\mathfrak{M}$ is a somehow saturated $\mathcal{L}$-structure and $\ind^{\circ}$ is a ternary relation on all small subsets of $\mathfrak{M}$.

3: We say that $\ind^{\circ}$ satisfies \emph{the Independence Theorem over a model} if the following holds:

4: \begin{center}

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

6: \\a tuple $c\subseteq\mathfrak{M}$ such that $c\equiv_{MA}c_1$, $c\equiv_{MB}c_2$ and $c\ind^{\circ}_MAB$.

7: \end{center}

8: \end{definition}

9: