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 conjuntos (ver jerarquía proyectiva ).