Category:Hereditarily Compact Spaces