Terms containing definitional reduction

Subject	English	Russian
IT	definitional reduction	редукция по определению
math.	definitional reduction	дефинициональная редукция
math.	rule of definitional reduction	правило дефиниционального приведения