 Beta-redex

A beta-redex is a subterm of the form $(\lambda x.M)N$, to which beta reduction can be applied.