|
Definition of Redex
1. Noun. (mathematics) Something to be reduced according to the rules of a formal system. ¹
¹ Source: wiktionary.com
|
1. Noun. (mathematics) Something to be reduced according to the rules of a formal system. ¹
¹ Source: wiktionary.com