Description: The intersection of two
closed sets is closed. (Moved to incld16796 in
main set.mm and may be deleted by mathbox owner, JM. --NM 15-Oct-2012.)
(Contributed by Jeff Madsen, 2-Sep-2009.)
(Proof modification is discouraged.) (New usage is
discouraged.)