projective set

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