A bilinear form 
on a finite-dimensional vector
space is nondegenerate if
 |
implies 
,
and likewise with the two arguments interchanged. Equivalently, the associated linear map 
is an isomorphism.
In a basis, this is equivalent to the matrix of 
being a nonsingular matrix.
