Eine Funktion ist eine Programm-Organisationseinheit (POE), die nach dem Ausführen ein Datenelement als Funktionsergebnis und beliebig viele Ausgangswerte liefert. Eine Funktion enthält keine internen Zustandsinformationen, d.h., der Aufruf einer Funktion mit gleichen Eingangswerten liefert immer die gleichen Ausgangswerte.