https://everything2.com/user/mxk/writeups/inner+product+space
inner product space (thing)
A kind of a normed space or a vector space with a particular inner product function from the vector space crossed with itself into the metric space of that...
inner product spacething