The Free On-line Dictionary of Computing (19 January 2023):

redex

   Reducible Expression.  An expression matching the left hand
   side of a reduction rule or definition.