redex

EnglishEdit

EtymologyEdit

From "reducible expression"

PronunciationEdit

NounEdit

redex ‎(plural redexes)

  1. (mathematics) Something to be reduced according to the rules of a formal system.

See alsoEdit