Definition: Co-Abzählbare Menge

Sei eine Grundmenge.

Wir bezeichnen die Menge als co-abzählbare Menge, falls das Komplement von , also , abzählbar ist.