These are called conversion rules or, if the rule only works in one direction, a reduction rule.
Вони називаються правилами перетворення або, якщо правило працює лише в одному напрямку, правилом редукції.