In essence, a derivation step can be viewed as the application of a rule.
compiling the set of derivation steps used in any derivation of δ A (S, T ) gives us, in a meaningful sense, all relevant rules that can be extracted from the triple (S, T, A).