normed vector space in Polish
normed vector space in Polish
przestrzeń unormowana
(mathematics) A vector space which is additionally equipped with a norm.