Kokonečná podmnožina

Podmožina  množiny  je kokonečná, ak jej komplement vzhľadom na  je konečná množina.

Teória množín