allgemein das Ergebnis einer Modellie-rung, vgl. dort.

Speziell versteht man unter einem Modell auch eine algebraische StrukturA mit einer Signatur σ, die durch eine elementare SpracheL der glei-chen Signatur festgelegt wird, und in der eine zuvor fixierte Ausdrucksmenge &Sgr; aus L gültig ist (im Zeichen 𝒜 ⊨ &Sgr;). Hierfür sagt man auch: 𝒜 ist ein Modell von &Sgr;.