More specifically, a lambda abstraction is a lambda expression with no free variables: each its variables is bound by some lambda. E.g.
... searoute to the Indies; discovered various lands and islands and established a colony on Hispaniola James Cook, (1728-1779), explored the Pacific, discovering or mapping ...