topological vector space whose neighborhoods of the origin have a property similar to the definition of totally bounded subsets