In descriptive set theory, a coanalytic set is a set (typically a subset of a Polish space) that is the complement of an analytic set. In the projective hierarchy, coanalytic sets correspond to 𝜫11 sets.
This set theory–related article is a stub. You can help Wikipedia by adding missing information.