beta-reduction

$$(\lambda x.M)N\to_\beta M\{x\mapsto N\}$$

Note that we use the word reduce, but this does not necessarily simplify the term. We are only removing a layer of abstraction.

$$M\to_\beta M_1\to_\beta M_2\ldots M_n = M\to_\beta^* M_n$$