Category:Sum of Closures is Subset of Closure of Sum in Topological Vector Space