koanalytische Menge, gelegentlich auch CA-Menge genannt, spezielles Komplement einer analytischen Menge.

Es sei Ω ein Polnischer Raum und A ⊆ Ω eine analytische Menge. Dann heißt Ω\A die komplementäre analytische Menge. Ω\A ist genau dann analytisch, falls ABorel-Menge ist.