Bezeichner

Ein Bezeichner wendet zusätzliche Informationen auf eine Definition an. Beispiel: Der decides-Effektbezeichner bei der Definition einer Funktion markiert die Funktion als fehlbar.