Kokonečná podmnožina

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