Category:Intersection of Closed Sets is Closed