退化形式
非退化 (nondegenerate) あるいは非特異 (nonsingular) 形式は退化でない形式である、つまり v ↦ ( x ↦ f ( x , v ) ) {\displaystyle v\mapsto (x\mapsto f(x,v))} が同型である、あるいは有限次元では同値なことだが、
すべての y ∈ V に対して f(x, y) = 0 であれば、x = 0.