Property: Subparacompact space

[Moniker1998]

This property could be added. See here for reference.

A space is called subparacompact if every open cover has a $\sigma$-discrete closed refinement.

Alias: $\sigma$-paracompact space