Chris

@prabau I completely agree. I'm not sure why I added the non-empty condition in when I drafted this up. Adding in that restriction doesn't even align with existing definitions of...

> T542: since the shrinking property is stronger than the normal property, wouldn't it be a strengthening instead of a generalization of it? The argument seems pretty standard, same as...

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...