Category:Dilation of Closure of Set in Topological Vector Space is Closure of Dilation