normed vector space

🐷tip