redex /ˈɹiːdɛks/ noun1 •Something to be reduced according to the rules of a formal system. formsredexes