_:b7250628 "(mathematics) A vector space which is additionally equipped with an inner product."@en .