Solution
= Solution
An $L$-structure $M$ is a model of $T$ when
$$
\boxed{M\models\sigma\qquad\text{for every }\sigma\in T.}
$$
= Solution
An $L$-structure $M$ is a model of $T$ when
$$
\boxed{M\models\sigma\qquad\text{for every }\sigma\in T.}
$$