Sprache erster Stufe/Interpretation/Abbildungssymbol/Abbildung/Beispiel
Es sei ein Symbolalphabet, das außer einer Variablenmenge aus einem einzigen einstelligen Funktionssymbol bestehe (die Konstantenmenge und die Relationssymbolmengen seien also leer). Eine -Struktur besteht dann aus einer nichtleeren Menge zusammen mit einer Abbildung
Beispiele sind mit der Nachfolgerfunktion, mit dem Quadrieren oder der Sinusfunktion oder der Exponentialfunktion, oder eine beliebige Menge mit der Identität, eine endliche Menge mit einer Permutation, u.s.w.
