add metric space page to index
add proof of the topology lemma for open sets
add closed set, TLFCS, and closure defs
add characterization lemma for closed sets
Add lemma about a set being closed
Merge branch 'master' into gh-pages
rebuild HTMLs