conjunto coanalítico

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${\displaystyle {\boldsymbol {\Pi }}_{1}^{1}}$conjuntos (véase jerarquía proyectiva ).