非退化半双线性型

non-degenerate sesquilinear form