transformational rule

in transformational grammar, a rule that generates one stage from another in the conversion of deep structure into surface structure

in logic, a rule for deriving theorems from axioms