redox

n : a reversible chemical reaction in which one reaction is an

oxidation and the reverse is a reduction [syn: {oxidation-reduction}]

redex

Reducible Expression. An expression matching the left hand

side of a {reduction rule} or definition.