Concept

Normed vector space