 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.