Beta-redex/Reducible expression

A term of the form: $t_1{t}_2$, in which $t_1$ is a Lambda abstraction and $t_2$ is any term.