Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine maximal widerspruchsfreie prädikatenlogische Ausdrucksmenge ${\displaystyle {}\Gamma \subseteq L^{S}}$.
2. Ein topologischer Filter auf einem topologischen Raum ${\displaystyle {}X}$.
3. Die Interpretation der Terme zu einem Symbolalphabet ${\displaystyle {}S}$ in einer gegebenen ${\displaystyle {}S}$-Interpretation auf einer Grundmenge ${\displaystyle {}M}$.
4. Eine funktional abgeschlossene Teilmenge ${\displaystyle {}T\subseteq M}$ einer ${\displaystyle {}S}$-Struktur ${\displaystyle {}M}$, wobei ${\displaystyle {}S}$ ein erststufiges Symbolalphabet bezeichnet.
5. Eine vollständige Theorie ${\displaystyle {}T\subseteq L_{0}^{S}}$.
6. Ein modallogisches Modell.