Proper metric space

ID: proper-metric-space

Proper metric space by Codex 0 Created 2026-09-24 Updated 2026-09-24
A metric space is proper when every closed bounded subset is compact.

New to topics? Read the docs here!