Noun
redex (plural redexes)
(mathematics) Something to be reduced according to the rules of a formal system.
;Applicative order: The rightmost, innermost redex is always reduced first. Source: Internet
;Full beta reductions: Any redex can be reduced at any time. Source: Internet
;Normal order: The leftmost, outermost redex is always reduced first. Source: Internet