Category:Expression for Closure of Set in Topological Vector Space