Semi normed space