Coanalytic set (source code)

= Coanalytic set
{wiki=Analytic_set#Coanalytic_sets}

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