Source : Free On-Line Dictionary of Computing

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