Advanced Linear Algebra
《Advanced Linear Algebra》 · 第 205 页 · Chapter 9「Real and Complex Inner Product Spaces」
A real (or complex) vector space $V$, together with an inner product, is called a real (or complex) inner product space.