En la disciplina matemática de la teoría descriptiva de conjuntos , un conjunto coanalítico es un conjunto (normalmente un conjunto de números reales o, más generalmente, un subconjunto de un espacio polaco ) que es el complemento de un conjunto analítico (Kechris 1994:87). Los conjuntos coanalíticos también se denominan conjuntos (véase jerarquía proyectiva ).
