A definable set which is the complement of an analytic set.
Coanalytic Set
See also
Analytic SetExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Coanalytic Set." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/CoanalyticSet.html