---
tag: B8R72VC7CM
kind: concept
name: Coanalytic set
aliases: [coanalytic]
sources:
  - wikipedia: en:4214995@r1370820752
    locator: Coanalytic set
    note: adopted
    mention: wikipedia://en/4214995
    sections: [Summary]
same_as:
  wikidata: Q5138050
  wikipedia: Coanalytic set
inventory: [NV8KMFYPSS]
---

## Summary

In descriptive set theory, a **coanalytic set** is a [[set|0BSJ7RQ9BW]] (typically a subset of a Polish space) that is the [[complement|0RKF1ZT5JJ]] of an analytic set. In the projective hierarchy, coanalytic sets correspond to $\mathbf{\Pi}^1_1$ sets.