Compact metric space

Definition
A compact metric space is a metric space satisfying the following equivalent conditions:


 * It is compact under the induced topology
 * It is complete and totally bounded

Weaker properties

 * Totally bounded metric space
 * Bounded metric space
 * Complete metric space