Category:Set is Closed iff Equals Topological Closure