In the mathematical field of descriptive set theory, a subset of a Polish space has the perfect set property if it is either countable or has a nonempty perfect subset. Note that having the perfect set property is not the same as being a perfect set.