Rule of Replacement

Inference rule that may be applied to only a particular segment of an expression.