eta reduction

Noun

 * 1) Eta conversion.