The Stacks project

Definition 92.13.1. Let $A \to B$ be a ring map. Let $M$ be a $(B, B)$-bimodule over $A$. An $A$-biderivation is an $A$-linear map $\lambda : B \to M$ such that $\lambda (xy) = x\lambda (y) + \lambda (x)y$.