Probability function only for elementary events

Question

If we assign probabilities to every elementary event such that they sum up to 1 and they're all positive, can we say that this function is a probability function with its domain equal to the set of all subsets of the union of those elementary events? Or should we also specify that P(A or B) = P(A) + P(B) for all A, B where A and B=Null set?

Edit:

$\Omega = \{\omega_1,\omega_2,\omega_3\}$

Let $f:\Omega \rightarrow[0,1]$ such that:

$f(\omega_1)=0.2$, $f(\omega_2)=0.3$, $f(\omega_3)=0.5$.

Let $F:2^\Omega\rightarrow[0,1]$ such that:

$F(\{\omega_i\})=f(\omega_i), i\in \{1,2,3\}$,

$F(\{\omega_1,\omega_2\})=f(\omega_1)+f(\omega_2)$

$F(\{\omega_1,\omega_3\})=f(\omega_1)+f(\omega_3)$

$F(\{\omega_2,\omega_3\})=f(\omega_2)+f(\omega_3)$

$F(\{\omega_1,\omega_2\,\omega_3\})=f(\omega_1)+f(\omega_2)+f(\omega_3)$

$F(\emptyset)=0$

Then we can say that F is a probability function, right? Can we say that this is the unique probability function generated by f (not speaking formally)?

Answer 1

If the number of elements in $\Omega$ is finite or countably infinite, then assigning probability $p_i > 0$ to element $\omega_i$ such that $$\sum_i p_i =\sum_i P(\omega_i)= 1\tag{1}$$ and defining that for any subset $A$ of $\Omega$, $$P(A) = \sum_{\omega \in A} P(\omega)\tag{2}$$ makes $P(\cdot)$ a probability measure meaning a map from $2^\Omega$ to $[0,1]$. Without $(2)$, you cannot extend $P(\cdot)$ to assign probability to anything other than the elementary events. You do need to assert that $(2)$ holds in addition to $(1)$ in order to claim that $P(\cdot)$ is a probability measure. You cannot extend $P(\cdot)$ as defined in $(1)$ to create a different map from $2^\Omega$ to $[0,1]$; the map specified by $(2)$ is unique.

If the number of elements in $\Omega$ is uncountable, then the assignment $(1)$ cannot hold and the whole enterprise is moot.