👨🏿‍🦱

normed vector space