Repräsentierbare Funktion (in Ausdrucksmenge)
Es sei
eine Menge von
arithmetischen Ausdrücken.
Eine
Funktion
-
heißt
repräsentierbar
in
, wenn es einen
-Ausdruck
in
freien Variablen
derart gibt, dass für alle
-Tupel
die folgenden Eigenschaften
- Wenn
,
so ist
,
- Wenn
,
so ist
,
,
gelten.