En la disciplina matemática de la teoría descriptiva de conjuntos , un conjunto coanalítico es un conjunto (típicamente 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 (ver jerarquía proyectiva ).
