# 紧的三个等价刻画　`thm.metric-compact-equiv`
English entry · root `../`
[in graph](../#n=thm.metric-compact-equiv)　·　[Chinese page (authoritative)](./thm.metric-compact-equiv.md)

> English: **draft** · machine-drafted, pending author review; the Chinese page is authoritative.

layer 15 · theorem · cluster 度量空间 (`topology.metric`) · Topology

> 续见 nodes/thm.metric-compact-equiv.en.2.md