Add definition of compactness and boundednedd, prove that compact sets are bounded
Merge branch 'master' into gh-pages
rebuild HTML