Your correspondence is equivalent to the existence of a [real-valued measurable cardinal](http://en.wikipedia.org/wiki/Measurable_cardinal), a large cardinal concept equiconsistent with the existence of a measurable cardinal. First, note that if $\kappa$ is a measurable cardinal, then there is a 2-valued measure $\mu$ on $P(\kappa)$ which is not only countably-additive but $\kappa$-additive, in the sense the measure of the union of fewer than $\kappa$ many disjoint sets is the sum of the measures. For this measure, every set gets measure either 0 or 1, and so there are no disjoint sets of positive measure, and also every singleton gets measure 0. So it is an instance of a violation of your correspondence. More generally, if $\kappa$ is a [real-valued measurable cardinal](http://en.wikipedia.org/wiki/Measurable_cardinal), then there is a real-valued $\kappa$-additive measure $\mu$ on $P(\kappa)$ giving measure 0 to singletons. In particular, such a measure would be countably additive, and it would not correspond to function in your sense. Conversely, suppose that there were a countably additive real-valued measure $\mu$ on $P(X)$ for some set $X$. If this measure does not correspond to a function, let's subtract from it the sum measure on singletons, to arrive without loss of generality at a measure that gives measure zero to singletons, but positive measure to the whole space. In this case, let $\kappa$ be the additivity of $\mu$, the largest cardinal such that the $\mu$ measure of any less-than-$\kappa$ sized disjoint union is equal to the sum of the measures individually. In this case, there is a set $Y\subset X$ of positive measure and a $\kappa$ partition of $Y=\cup_{\alpha\lt\kappa} Y_\alpha$ such that each $Y_\alpha$ has measure $0$. We may now define a $\kappa$-additive measure on $P(\kappa)$ by $\mu_0(I)=\Sigma_{\alpha\in I}\mu(Y_\alpha)$. Thus, $\kappa$ is a real-valued measurable cardinal. So your question is equivalent to the existence of a real-valued measurable cardinal. Such a hypothesis is equiconsistent with the existence of a measurable cardinal. The particular case when the set $X$ has size continuum $c$ corresponds to the situation where $c$ is a real-valued measurable cardinal. This implies a strong failure of the Continuum Hypothesis, since in this case $c$ would be weakly inaccessible. It is equivalent to the existence of a countably-additive extension of Lebesgue measure measuring all sets. (Such an extension cannot be translation invariant by Vitali.)