Co-Countable Measure is Measure

Theorem
Let $X$ be an uncountable set, and let $\mathcal A$ be the $\sigma$-algebra of countable sets on $X$.

Then the co-countable measure $\mu$ on $X$ is a measure.