---
tag: 0TVJZYB6SH
kind: concept
name: Compact space
msc: [54D30]
sources:
  - url: https://en.wikipedia.org/wiki/Compact_space
    locator: lead section
same_as:
  wikidata: Q381892
  wikipedia: Compact space
---

## Summary

A compact space is a topological space in which each open cover has a finite subcover.
Closed bounded intervals of the real line are the basic examples.