[Paul-Craft]

Yep. The reason compact spaces are nice is because compactness lets you reduce something that's infinite to something that's finite.