Degenerate bilinear form

is not surjective: for instance, the Dirac delta functional is in the dual space but not of the required form. On the other hand, this bilinear form satisfies

In such a case where ƒ satisfies injectivity (but not necessarily surjectivity), ƒ is said to be weakly nondegenerate.