show/hide this revision's text 2 deleted 1 characters in body; edited title

Why is the Leibnitz Leibniz rule a definition for derivations?

In differential geometry, the tangent space is defined as a generalization of directional derivatives, which in turn are defined as functionals following Leibnitz's Leibniz's product rule.

I understand all the proofs, but what is the intuition behind choosing the product rule to capture the notion of derivatives, rather than any other property?

show/hide this revision's text 1

Why is the Leibnitz rule a definition for derivations?

In differential geometry, the tangent space is defined as a generalization of directional derivatives, which in turn are defined as functionals following Leibnitz's product rule.

I understand all the proofs, but what is the intuition behind choosing the product rule to capture the notion of derivatives, rather than any other property?