\begin{definition}[Definition:Co-Countable Set]
Let $S$ be a set, and let $A \subseteq S$.
Then $A$ is said to be '''co-countable (in $S$)''' {{iff}} its relative complement $\complement_S \left({A}\right)$ is countable.
\end{definition}