'''Important Theorem''': A [[metric space]] is compact if and only if it's [[complete (mathematics)|complete]] and [[totally bounded space|totally bounded]]. | '''Important Theorem''': A [[metric space]] is compact if and only if it's [[complete (mathematics)|complete]] and [[totally bounded space|totally bounded]]. |