\begin{definition}[Definition:Model (Logic)/Set of Logical Formulas]
Let $\mathscr M$ be a formal semantics for a logical language $\LL$.
Let $\MM$ be a structure of $\mathscr M$.
Let $\FF$ be a set of logical formulas of $\LL$.
Then $\MM$ is a '''model of $\FF$''' {{iff}}:
:$\MM \models_{\mathscr M} \phi$ for every $\phi \in \FF$
that is, if it is a model of every logical formula $\phi \in \FF$.
\end{definition}