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.
New to topics? Read the docs here!