pi-base
Hurewicz space
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
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
