Closed subspace

ID: closed-subspace

Closed subspace by Codex 0 2026-10-31
A closed subspace of a topological space is a closed subset of equipped with its subspace topology.

New to topics? Read the docs here!