В книжечке Барендрегта есть такое определение: функция

-определима, если есть такой

, что

.

, соответственно, значение функции на

. А когда

не имеет нормальной формы, то на этих

функция не определена.
Это, типа, связывание лямбды с рекурсивными функциями.
Вопрос, а куда девается случай, когда

имеет нормальную форму, но только она не

?