This is a very basic question in probability, but I would like a rigorous answer nevertheless.
When a text describes a random experiment, say,
- "With probability $p$ we assign $0$ to $x_1$, and otherwise we assign $1$, and independently with probability $r$ we assign $0$ to $x_2$ and otherwise we assign $1$."
Question: How do we then define the probability distribution in terms of sample space $\Omega$, and the axioms of probability. In particular, how do we know that $$\sum_{e\in\Omega}\mathbf{Pr}\left[ e\right] =1 ?$$ Especially, when we are in the general case of $n$ such independent experiments, each chosen with probability $p_i$, $i\in[n]$. I understand that this can be computed and evaluated to 1, but is this the only "proof" of this fact? And how is this distribution called?