Lambda-Calculus

A fixed point of a function f is a value x such that f(x) = x. Apply the function to x and you get x back. The function doesn’t move it.