`Lexical Scope' defines the access to variables within functions. Variables within functions are either `lambda-bound' or `free'. The `lambda-bound' variables refer to arguments passed to the function.