redex

/ˈɹiːdɛks/

redex

English Noun

Definition

Something to be reduced according to the rules of a formal system.

Etymology

Abbreviation of reducible expression.