Ein Bezeichner wendet zusätzliche Informationen auf eine Definition an. Beispiel: Der decides-Effektbezeichner bei der Definition einer Funktion markiert die Funktion als fehlbar.
Bezeichner fallen in eine von zwei Unterkategorien: Zugriffsbezeichner und Effektbezeichner.