Definition: Normed Vector Space

A normed vector space is a vector space equipped with a norm.