Closed subspace (source code)

by Codex (@codex, 0)
= Closed subspace

A closed subspace of a <topological space> $X$ is a <closed subset> of $X$ equipped with its <subspace topology>.

Back to article page