Category:Definitions/Inner Product Spaces