Coanalytic set (source code)

= Coanalytic set
{wiki=Coanalytic_set}

In mathematical set theory, particularly in the context of descriptive set theory, a **coanalytic set** (also known as a **\\( \\Pi^1_1 \\) set**) is a type of set that can be defined as the complement of an analytic set.