the cantor–bendixson theorem states that any polish space can be written as the union of a countable set and a perfect set. because any g subset of a polish space is again a polish space, the theorem also shows that any g subset of a polish space is the union of a countable set and a set that is perfect with respect to the induced topology.