Must every probability distribution over a countable set be discrete? Intuitively I expect this to follow from countable additivity, but there are ideas I can't rule out such as:


*

*Select a real number r from the uniform distribution over [0, 1]. If r is exactly 0.5, then let q = 0, else let q = 1

*Select r as above. If r is rational let q = r, else let q = 0


EDIT: @GEdgar writes, "In both of your examples, q has discrete distribution. In example 1, q=1 with probability one. In example 2, q=0 with probability one." My thought was that a random variable that is "almost surely" zero might not be the same as one that is identically zero. But the truth is I have no idea what sort of tortured distribution might work here, much like I never would have come up with the Cantor distribution if someone had asked me whether all random real variables have to be discrete or continuous.
 A: Well, if $\Omega = \{\omega_1,\ldots\}$, then as you say, countable additivity requires that $$
  \sum_{i=1}^\infty \mathbb{P}(\{\omega_i\}) = \mathbb{P}(\Omega) = 1 \text{,}
$$
so not all of the $\mathbb{P}(\{\omega_i)\})$ can be zero.
But that still allows some rather weird distribution functions, because you can pick weird mappings from $\Omega$ to $\mathbb{R}$. For example, let $\Omega$ be a countable probability space, and $\{q_1,\ldots\}$ be an enumeration of the rational numbers. Then define a random variable $X$ as $$
  X \,:\, \Omega \to \mathbb{R} ,\:\, \omega_i \to q_i
$$
Since every subset of $\Omega$ is measurable, $X$ surely is a valid random variable, but its cumulative distribution function (CDF) $$
  F(x) = \mathbb{P}\left(X^{-1}\left((-\infty,x]\cap \mathbb{Q}\right)\right)
$$
isn't going to be a particularly "nice" function. In particular $F$ is potentially discontinuous at every rational $x$ (at all of them if all the $\mathbb{P}(\{\omega_i\})$ are non-zero).
A: In both of your examples, $q$ has discrete distribution.  In example 1, $q=1$ with probability one.  In example 2, $q=0$ with probability one.  
But what do your examples have to do with the proviso "over a countable set"?
