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 Π 1 1 {\displaystyle \mathbf {\Pi } _{1}^{1}} sets.
This set theory–related article is a stub. You can help Wikipedia by adding missing information.