"v" が内積空間でないなら、"t" の余像は商空間 "v" / ker("t")として定義することが出来る。