Definition:Cocountable

Definition
Let $S$ be a set, and let $A$ be a subset of $S$.

$A$ is cofinite in $S$ if the complement of $A$ in $S$ is countable.