Koanalytisk set

I den matematiska disciplinen beskrivande mängdteori är en koanalytisk mängd en mängd (typiskt en mängd reella tal eller mer allmänt en delmängd av ett polskt rum ) som är komplementet till en analytisk mängd (Kechris 1994:87). Koanalytiska uppsättningar kallas också ${\boldsymbol {\Pi }}_{1}^{1}$ uppsättningar (se projektiv hierarki ).

•   Kechris, Alexander S. (1994), Classical Descriptive Set Theory , Springer-Verlag, ISBN 0-387-94374-9