Add definition of compactness and boundednedd, prove that compact sets are bounded