Inner product space by Ciro Santilli 35 Updated +Created
Subcase of a normed vector space, therefore also necessarily a vector space.