Perfect set property
= Perfect set property
{wiki}
A subset of a Polish space has the perfect set property when it is countable or contains a nonempty perfect subset. Every uncountable <analytic set> contains a perfect subset and consequently has cardinality $2^{\aleph_0}$.