Podmožina A {\displaystyle A} množiny B {\displaystyle B} je kokonečná, ak jej komplement vzhľadom na B {\displaystyle B} je konečná množina.
