Bilinearity
= Bilinearity
A scalar-valued map $b:V\times W\to F$ is bilinear when it is <linear> in either argument with the other held fixed. A <bilinear form> is the case $V=W$. Checking <bilinearity> is one of the algebraic steps in verifying a real <inner product>; being a <symmetric bilinear form> and having positive squared <norm> impose further conditions.