Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created bare minimum for orthocompact, which will be expanded later.
Edit: I’m not sure if there is a convention for the title? With or without “topological”? One one hand there are compact space, metacompact space or hemicompact space. On the other hand, there are locally compact topological space or paracompact topological space.
Edit: I’ve now linked orthocompace space on hemicompact space and paracompact topological space as there are lemmata connecting them with each other.
I like to add the adjective “topological”, since in the generality typically discussed here, “space” is ambiguous. But of course when the context is understood, it is cumbersome to carry the “topological” around.
1 to 2 of 2