Semi normed vector space