Definition talk:Separating Family of Seminorms on Vector Space

If a seminorm is defined on a vector space, there's no point in mentioning that it's on a vector space in the title, as that is already established. --prime mover (talk) 16:43, 16 June 2023 (UTC)