redex

发音

US /ˈɹiːdɛks/

词形变化

redexes 复数 redexes

释义与例句

n.
  1. 1.

    Something to be reduced according to the rules of a formal system.

    数学

词源

Abbreviation of reducible expression.

来源：wiktionary