Definition:Hereditarily Compact