Proper noun
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.