Das Symbolalphabet bestehe neben Variablen aus einem einstelligen Funktionssymbol und es sei mit
.
Es sei , wobei als interpretiert wird mit der einzigen Ausnahme
-
a) Zeige, dass von erfüllt wird.
b) Bestimme die funktionale Hülle von .
c) Zeige, dass die funktionale Hülle von nicht erfüllt.
d) Man gebe zwei funktional abgeschlossene,
-erfüllende und
enthaltende Teilmengen
an, deren Durchschnitt
nicht
erfüllt.