Coanalytic Set

A Definable Set which is the complement of an Analytic Set.

See also Analytic Set