# Definition:Cofinite Set

Let $S$ be a set.
Let $A$ be a subset of $S$.
$A$ is cofinite in $S$ if and only if the complement of $A$ in $S$ is finite.