设G是一个广义矩阵代数,φ:G×G→G是G上的一个映射(没有双可加性假设),若对任意的X,Y,Z∈G,有φ(XY,Z)=φ(X,Z)Y+Xφ(Y,Z)和φ(X,YZ)=φ(X,Y)Z+Yφ(X,Z),则φ是G上的一个双导子。