In Lambda Calculus, a Free Variable is a variable that appears in an expression, but is not captured.