Coanalytic set (source code)

= Coanalytic set

A coanalytic set is the complement of an <analytic set>.