\begin{definition}[Definition:Cofinite Set]
Let $S$ be a set.
Let $A$ be a subset of $S$.
$A$ is '''cofinite in $S$''' {{iff}} the complement of $A$ in $S$ is finite.
Category:Definitions/Set Theory
\end{definition}