Da definição de satisfação de fórmulas:

$\mathcal{M}^\ast \models \exists x \ \varphi \Leftrightarrow \exists m \in M \ \mathcal{M} \models \varphi (m)$, sendo $M$ o universo do modelo $\mathcal{M}$.