Cantor-Bendixson theorem

(set theory) A theorem which (in a simpler formulation) states that a closed uncountable set in Euclidean n-space is equal to the disjoint union of a perfect set and a countable set.