human
How do you define a function in the Lambda calculus?
assistant
A function is a rule that takes a value and returns a value. For example, the function f(x) = x + 1 takes a value and returns a value.