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: \map f {a b} = \map f a b + a \map f b$