rewrite rules

(математика) правила вывода