Eta expansion

The transformation of a term $t$ to $\lambda x.\ t\ x$ where $x \notin FV(f)$ - the inverse of Eta-reduction, often used to delay evaluation or make function abstraction explicit.