Coanalytic set

In the mathematical discipline of descriptive set theory, a coanalytic set is a set (typically a set of real numbers or otherwise a subset of a Polish space) that is the complement of an analytic set. Coanalytic sets are also referred to as $\scriptstyle\boldsymbol{\Pi}^1_1$ sets (see projective hierarchy).