Eine Abstraktion, die eine Funktion innerhalb einer Umgebung darstellt, ein Kontext, der aus den Variablen besteht, die zu einem bestimmten Zeitpunkt während der Ausführung des Programms gebunden sind und sich im Gültigkeitsbereich der Funktion befinden.