 Lambda-definable function

A function $g:{\mathbb{N}}^k\to \mathbb{N}$ is lambda-definable when some combinator $G$ satisfiesfor every tuple of natural numbers.