Definition:Leibniz Law

Definition
Let $R$ be a ring.

Let $A$ be a $R$-algebra.

Then a function $f : A \to A$ is said to be satisfying Leibniz Law if the following holds:


 * $\forall a, b \in A, f \left({a b}\right) = f \left({a}\right) b + a f \left({b}\right)$