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.