\begin{definition}[Definition:Forking Extension]
Let $T$ be a complete $\LL$-theory.
Let $\mathfrak C$ be a monster model for $T$.
Let $A\subseteq B$ be subsets of the universe of $\mathfrak C$.
Let $\map p {\bar x}$ be a complete $n$-type over $B$.
Denote by $p \restriction A$ the subset of $p$ consisting of those formulas which involve only parameters from $A$.
$p$ is a '''non-forking extension''' of $p \restriction A$ {{iff}} $\map p {\bar x}$ does not fork over $A$.
Category:Definitions/Model Theory
\end{definition}