The Free On-line Dictionary of Computing (30 December 2018):redex Reducible Expression. An expression matching the left hand side of a reduction rule or definition.