一种在两个变量上都是线性的函数，常见于线性代数、泛函分析和物理学中，具有对称性和可分解性。