Coanalytic set


In the mathematical discipline of descriptive set theory, a coanalytic set is a set that is the complement of an analytic set. Coanalytic sets are also referred to as sets.