Das Symbolalphabet
bestehe neben Variablen
aus einer Konstanten
und einem einstelligen Funktionssymbol
. Wir betrachten die Teilmengen
-

mit
-

-

-

Es seien
die zugehörigen Äquivalenzrelationen gemäß
Bemerkung
auf der Termmenge.
- Gelten die Äquivalenzen
-
- Gelten die Äquivalenzen
-
- Welche Inklusionsbeziehungen bestehen zwischen
?
- Wie viele Termklassen gibt es zu
, wenn die Variablenmenge nur aus
besteht?