Definition: Normed Vector Space

A normed vector space is a Vector Space equipped with a Norm.