Category:Disjoint Compact Set and Closed Set in Topological Vector Space separated by Open Neighborhood