definitional reduction

Мат. дефинициональная редукция