Definition 1.4 (Theory of $M$). Let $M$ be an $L$-structure. Then the theory of $M$

$${Th}_L(M)=\{\phi :\phi \text{ is an }L\text{-sentence, and }M\models \phi \}.$$

(can be written $Th(M)$ when $L$ is clear).