More specifically, a lambda abstraction is a lambda expression with no free variables: each its variables is bound by some lambda. E.g.
... to the United States Census Bureau, the town has a total area of 3.7 km² (1.4 mi²). 3.7 km² (1.4 mi²) of it is land and none of the ...