locally compact topological vector space
type: Concept
broader: topological vector space
preferred label: فضای برداری توپولوژیک موضعا فشرده @fa
related: compact set
related: closure

topological vector space
type: Concept
narrower: locally compact topological vector space
preferred label: فضای برداری توپولوژیک @fa

closure
type: Concept
preferred label: بستار @fa
related: locally compact topological vector space

compact set
type: Concept
preferred label: مجموعه فشرده @fa
related: locally compact topological vector space