Sprache erster Stufe/Interpretation/Abbildungssymbol/Abbildung/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.