e/Bounded set (topological vector space)

Information
has gloss	eng: Definition Given a topological vector space (X,τ) over a field F, S is called bounded if for every neighborhood N of the zero vector there exists a scalar α so that :S \subseteq \alpha N with :\alpha N := \ \alpha x \mid x \in N\}.
lexicalization	eng: bounded set
instance of	e/Topological vector space