設
,
和
是在同一個基礎域
上的三個向量空間。雙線性映射是函數

使得對於任何
中
,映射

是從
到
的線性映射,並且對於任何
中的
,映射

是從
到
的線性映射。
換句話說,如果保持雙線性映射的第一個參數固定,並留下第二個參數可變,結果就是線性算子,如果保持第二個參數固定也是類似的。
如果
並且有
對於所有
中的
,則我們稱
是對稱的。
當這裡的
是
的時候,我們稱之為雙線性形式,它特別有用(參見例子純量積、內積和二次形式)。
如果使用在交換環
上的模替代向量空間,定義不需要任何改變。還可容易的推廣到
元函數,這裡正確的術語是「多線性」。
對非交換基礎環
和右模
與左模
的情況,我們可以定義雙線性映射
,這裡的
是阿貝爾環,使得對於任何
中的
是群同態,而對於任何
中的
是群同態,並還滿足

對於所有的
中的
,
中
和
中的
。
定義
,
,
是有限維的,則
也是有限維的。對於
就是雙線性形式,這個空間的維度是
(儘管線性形式的空間
的維度是
)。看得出來,選擇
和
的基;接著每個線性映射可以唯一的表示為矩陣
,反之亦然。現在,如果
是更高維的空間,我們明顯的有
。