seminormed space

vector space equipped with a seminorm