# Definition:Leibniz Law

 It has been suggested that this page or section be renamed: Not so much disambiguation, this needs to be merged with Leibniz's Rule which we have it on $\mathsf{Pr} \infty \mathsf{fWiki}$ as. One may discuss this suggestion on the talk page.
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$