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