Eta reduction

The transformation of $\lambda x.\ t\ x$ to $t$ where $x \notin FV(f)$ - eliminating a redundant Lambda abstraction when a function simply passes its argument unchanged to another function.