\begin{definition}[Definition:Degenerate Bilinear Form]
Let $\mathbb K$ be a field.
Let $V$ be a vector space over $\mathbb K$.
Let $b : V \times V \to \mathbb K$ be a bilinear form on $V$.
Then $b$ is '''degenerate''' {{Iff}} there exists $v \in V\setminus \set 0$ such that $\map b {v, u} = 0$ for all $u \in V$.
\end{definition}