biderivation

Noun

 * 1)  A bilinear mapping which is a derivation in each variable separately.