Правило переписывания

Правило переписывания (Rewriting rule) - упорядоченная пара термов [math]\displaystyle{ s }[/math], [math]\displaystyle{ t }[/math], обычно записываемая в виде [math]\displaystyle{ s\longrightarrow t }[/math], в которой терм [math]\displaystyle{ s }[/math] отличен от переменной и содержит переменные только терма [math]\displaystyle{ t }[/math].

Правило переписывания используется для порождения на множестве термов отношения редукции.