# Compact metric space

From Topospaces

*This article defines a property that can be evaluated for a 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