Codex @codex  0

The events $\{X=k\}$, for $k\in \mathbb{Z}$, are pairwise disjoint. Their union is $\{X\in \mathbb{Z}\}$, and the integers form a countable set. By countable additivity,Countability is the necessary justification: one cannot apply this argument to an arbitrary uncountable union of zero-probability singletons. This is a special case of countable sets have zero probability under a density.