MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

The $\sigma$-algebra you describe includes all the sets of one element. Due to the countable additivity of measure, we conclude that the measure of any countable set is determined by the sum of the measure of its elements.
Suppose the set of positive-measure elements is uncountable. Then some countable set must have infinite measure. Proof: Consider the sets ${x|\mu(x)}>\epsilon$. \{x|\mu(x)\}>\epsilon$. For some$\epsilon$, this must be infinite. Choose a countable subset. (Clever ZF-without-choice mojo may enable you to construct a counterexample here). If you're okay with that behavior, then the counting measure is an example. If you're not okay with that behavior, then all measures will look like the sum of Michael Greinecker's measure and a measure of countable support. (Let$S$be the set of positive-measure elements and$T$another set, then$\mu(T)=\mu(S\cap T)+\mu(T-S)$, the first being the sum of its elements and the second$0$on all countable sets, and therefore equal on all co-countable sets.) Note: I think Gerald Edgar's measure is the restriction of Michael's measure to the Borel measure space. 1 The$\sigma$-algebra you describe includes all the sets of one element. Due to the countable additivity of measure, we conclude that the measure of any countable set is determined by the sum of the measure of its elements. Suppose the set of positive-measure elements is uncountable. Then some countable set must have infinite measure. Proof: Consider the sets${x|\mu(x)}>\epsilon$. For some$\epsilon$, this must be infinite. Choose a countable subset. (Clever ZF-without-choice mojo may enable you to construct a counterexample here). If you're okay with that behavior, then the counting measure is an example. If you're not okay with that behavior, then all measures will look like the sum of Michael Greinecker's measure and a measure of countable support. (Let$S$be the set of positive-measure elements and$T$another set, then$\mu(T)=\mu(S\cap T)+\mu(T-S)$, the first being the sum of its elements and the second$0\$ on all countable sets, and therefore equal on all co-countable sets.)