1: \begin{definition}\label{def_indep} Let $M \models Th(P)$.
2: \begin{enumerate}[(1)]
3: \item Given $A \subseteq_{\omega} M$, we let:
4: $$d(A) = inf\{ \delta(B) : A \subseteq B \subseteq_{\omega} M \}.$$
5: \item Given $A \subseteq_{\omega} M$, we let $A \leq M$ if $d(A) = \delta(A)$.
6: \item\label{item_indep} Given $A, B, C \subseteq_{\omega} M$ with $C \leq A, B \leq M$ and $A \cap B = C$, we let $A \dindep[C] B$ if:
7: $$d(A/C) = d(A/B).$$
8: \end{enumerate}
9: % Given $A \subseteq \mathfrak{M}(n)$ we denote by $\bar{A}$ the $\leq_n$-closure of $A$ in $\mathfrak{M}(n)$ (cf. \cite[Theorem 2.23]{baldwin_generic}).
10: \end{definition}
11: