A term which can be reduced further is called a redex. This includes function calls and let expressions. Redex is short for "Reducible expression".
let