Por ejemplo, λx.x representa la función identidad x → x, y (λx.x)y representa la función identidad aplicada a y.