Eta-reduction

$\eta$-reduction or $\eta$-composition, is the sequential composition of S-expressions, so that it creates a new function out of a sequence of two consecutive S-expressions.