projective set

Also known as projective hierarchy

in descriptive set theory, a subset of a Polish space constructible by taking complements and projections of an analytic set