 Perfect set property

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}$.