When is a Subset of a Compact Space Compact?