coanalytic (analytic + co-): Describing the complement of an analytic set or other mathematical entity