Definition talk:Topological Subspace

The issue of $H$ being allowed to be the empty set simply boils down to the issue of the Empty Topological Space. If $H$ is empty, the subspace happens to be the Empty Topological Space. Considering the contents of Topological Space may be Empty, where it is stated that we "allow" the Empty Topological Space to be called a Topological Space, it would only make sense if we allowed $H$ to be empty in this Definition. --Ilithios (talk) 15:10, 13 February 2025 (UTC)