\lambda f : [a, b] \rightarrow -> \mathbb{R} : (\lambda f)(x) = \lambda f(x)