Wiktionary
redex
n. (context mathematics English) Something to be reduced according to the rules of a formal system.