More specifically, a lambda abstraction is a lambda expression with no free variables: each its variables is bound by some lambda. E.g.
... fauna more arctic than that which exists at the present time, indicatin~ probably that the connexion between the Pacific and Arctic Oceans was broader than it is now. ...