同値な定義であるが、formula_1-加群をベクトル空間vと双線型写像formula_11と定義し、formula_1の中のすべてのx,yとvのすべてのvに対して、