\begin{definition}[Definition:Leibniz Law]
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$
Category:Definitions/Differential Algebra
\end{definition}