What a Derivation Is

A rule applies to a whole line, in one direction, and both restrictions are the point