Rekursive Definition/Abbildung/Definition/Bemerkung

Es sei eine rekursiv definierte Menge mit der Startmenge . Verwandt mit dem Beweisprinzip über den rekursiven Aufbau der Menge ist das Prinzip, eine Abbildung von in eine weitere Menge rekursiv zu definieren. Dazu geht man folgendermaßen vor.

  1. Man legt eine Abbildung

    fest.

  2. Für jede Rekursionsvorschrift erklärt man, wie man aus den schon festgelegten Werten der Elemente , auf die die Vorschrift Bezug nimmt, den Wert unter für das durch die Vorschrift produzierte Element festlegt.
  3. Man muss sicherstellen, dass, falls es für ein Element mehrere Möglichkeiten gibt, dieses rekursiv zu erzeugen, die verschiedenen Möglichkeiten zum gleichen Wert führen.

Wenn diese Bedingungen erfüllt sind, ist eine wohldefinierte Abbildung

definiert.