Es sei das arithmetische Alphabet zusammen mit der Variablenmenge gegeben. Interpretiere den Term
-
unter den folgenden Interpretationen.
- mit der Standardinterpretation und der Variablenbelegung und .
- mit der Standardinterpretation
-
und der üblichen Matrizenaddition und Matrizenmultiplikation und der Variablenbelegung und .
- , mit
-
und wo sowohl als auch als Subtraktion interpretiert werden.
-
Potenzmenge
von mit
-
und wo als und als interpretiert wird.