η {\displaystyle \eta } -reduction or η {\displaystyle \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.
