Definition 15.1. Let $M$ be an infinite $L$-structure, and $\kappa >|L|+{\aleph }_0$. We say $M$ is $\kappa$-saturated if for any $A\subseteq M$ with $|A|<\kappa$, every type in $S_n^M(A)$ is realised in $M$ for all $n$.