\begin{definition}[Definition:Monster Model]
Let $T$ be a complete $\LL$-theory.
A '''monster model''' of $T$ whose cardinality $\kappa$ is infinite is a model of $T$ which is saturated and homogeneous.
Category:Definitions/Model Theory
\end{definition}