Seminormed vector space