(Or "contraction") The process of transforming an expression
according to certain reduction rules. The most important
forms are beta reduction (application of a lambda
abstraction to one or more argument expressions) and delta
reduction (application of a mathematical function to the
required number of arguments).

An evaluation strategy (or reduction strategy), determines
which part of an expression (which redex) to reduce first.
There are many such strategies.