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