Ausdruck aus einer elementaren Sprache L, der in einer algebraischen Struktur \({\mathcal{A}}\) durch eine Belegung (Belegung einer Variablen) der Individuenvariablen mit Elementen der Trägermenge A von \({\mathcal{A}}\) wahr wird.

Ist ϕ(x₁, …, x_n) eine L-Formel und F eine Belegung mit F(x_i) ≔ a_i ∈ A, dann wird ϕ(x₁, …, x_n) durch F in A erfüllt (und ϕ(x₁, …, x_n) heißt erfüllbar), wenn \begin{eqnarray}{\mathcal{A}}\models \varphi ({\mathop{a}\limits_{\_}}_{1},\ldots,{\mathop{a}\limits_{\_}}_{n}).\end{eqnarray}