Definition:Co-Countable Set

Definition
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.

Also known as
Sometimes the hyphen is omitted, yielding cocountable.