Definition (Definable set). Let $T$ be an $L$-theory and $M\models T$. Then $X\subseteq M^n$ is definable is there is some $L$-formula $\phi (x_1,\dots ,x_n)$ such that