Closed subset of a compact set is compact