Normed space/Definition

A vector space that is endowed with a norm.