Arithmetik/Satzmenge/Funktion/Repräsentierung (stark)/Definition/Begriff/Inhalt

Die Funktion heißt repräsentierbar in , wenn es einen -Ausdruck in freien Variablen derart gibt, dass für alle -Tupel die folgenden Eigenschaften

  1. Wenn , so ist ,
  2. Wenn , so ist ,
  3. ,

gelten.