(正定値性に触れない)純代数的な主張はふつう非退化性(単射準同型)のみに依存して決まり、ゆえにより一般の状況においても成立する。