Лямбда-определимость числовых функций

Частичная числовая функция φ называется лямбда-определимой, если существует лямбда-терм F, такой что
(∀n1...np ∈ N)

Fn1⌉ ... ⌈np⌉ = ⌈φ(n1,...,np)⌉, если φ(n) определено;
Fn1⌉ ... ⌈np⌉ не имеет нф, если φ(n) не определено.

Говорят: φ лямбда-определяется термом F.