<Определение локальной функции>

::= <Имя локальной функция> "("<Аргумент локальной функции>")" = <Выражение>

Примечание: <Выражение> в <Определении локальной функции> не может содержать: <Переменную> и спец. функции SUM и PROD