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