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