The Cantor–Bendixson theorem states that any Polish space can be written as the union of a countable set and a perfect set.
Cantor-Bendixson定理声称任何波兰空间都可以写为可数集合和完美集合的的并集。