Hurewicz space

[Moniker1998]

https://math.stackexchange.com/questions/5034591/set-of-real-numbers-fails-to-satisfy-the-rothberger-selective-covering-property

Is Hurewicz property already tracked? Either way, this will be either "add property" or "add name to a property".

@StevenClontz

[ccaruvana]

I don't think the Hurewicz property is currently being tracked. The $\omega$-Menger property (as appearing in the linked stackexchange post) is not equivalent to the Hurewicz property, though a separating example doesn't come to mind right now. I think this property would be a worthwhile add, along with some of the basic known implications between $\sigma$-compactness and Mengerness as asserted in https://en.wikipedia.org/wiki/Hurewicz_space