In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space with the property that whenever points get progressively closer to each other, then there exists some point x {\displaystyle x} towards which they all get closer. Wikipedia