Compact topological space
A space is compact when every open cover has a finite subcover; every finite topological space is compact.
atlas-compact-topological-space · canonical_mko
Compact topological space
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data