Definition: Co-Endliche Menge

Sei eine Grundmenge.

Wir bezeichnen die Menge als co-endliche Menge, falls das Komplement von , also , endlich ist.