Fix a set $S$ and let $f: \mathcal P(S) \rightharpoonup \mathbf R$ be a real-valued *partial* function on the power set of $S$. We say that $f$ has:

 - (i) the weak Darboux property if for every $X \subseteq S$ and $a
       \in [f(\emptyset),f(X)]$ there exists $A \in {\rm dom}(f)$ contained in $X$ such that $f(A) = a$;
 - (ii) the (strong) Darboux property if for all $X, Y \subseteq S$
       with $X \subseteq Y$ and every $a \in [f(X),f(Y)]$ there exists a set $A \in {\rm dom}(f)$
       containing $Y$ and contained in $X$ such that $f(A) = a$.

It is perhaps worth remarking that, since we do not assume $f$ to be monotone in the above formulation of the weak Darboux property, it may well happen that $f(X) < f(\emptyset)$ for some $X \subseteq S$, in which case the interval $[f(\emptyset), f(X)]$ is empty and the property is vacuously true; analogous considerations apply to the Darboux property, too.

Of course, $f$ has the Darboux property only if it has the weak Darboux property, and has in turn the weak Darboux property only if $f(X) \le f(\emptyset)$ for every finite $X \subseteq S$.

Some authors, either in the area of measure theory, see, e.g., [4, Chapter V, Section 46.I, Corollary 3${}^\prime$] and [2, Chapter I, Section 2.9, Definition 4], or in connection to the study of densities in number theory, see, e.g., [6, Section 2], [5, p. 217], and [3], refer to (i), and not to (ii), as the Darboux property (note that [6] points to [2] and [5] points to [4] as a source for the terminology), but that does not sound very fit to me, as (ii) is arguably closer than (i) to the spirit of the intermediate value property of real-valued functions of one real variable, so let me stick to my own definitions above. 

Another term of common usage to allude to condition (i), particularly in the literature on charges, is ``strongly non-atomic'', see, e.g., [1, Definition 5.1.5].

> **Q1.** I could not find any occurence of (ii) either in the literature on (finitely or countably additive, signed or unsigned, bounded or unbounded) measures, or in the literature on "densities" (as interpreted, say, in additive and probabilistic number theory). Do you have any pointer to suggest?

And my second question is:

> **Q2.** Do you know of other (nontrivial) results about measures (including charges) and densities that are related to the weak or strong Darboux properties (apart from those referred to in this post)?

As for Q2, I would certainly include a theorem of W. Sierpiński [7], which proves the weak Darboux property of non-atomic (countably additive) probability measures.

**Bibliography.**

[1]  K. P. S. Bhaskara Rao and M. Bhaskara Rao, *Theory of Charges: A Study of Finitely Additive Measures*, Pure and Applied Mathematics **109**, London: Academic Press, 1983.

[2] N. Dinculeanu, *Vector Measures*, International Series of Monographs in Pure and Applied Mathematics **95**, Oxford: Pergamon Press, 1966.

[3] G. Grekos, L. Mišík, and J. T. Tóth, *Density sets of sets of positive integers*, J. Number Theory **130** (2010), No. 6, 1399-1407.

[4] K. Kuratowski, *Topology: Volume I*, London: Academic Press, 1966.

[5] M. Mačaj, L. Mišík, and J. Tomanová, *On a class of densities of sets of positive integers*, Acta Math. Univ. Comenianae **72** (2003), No. 2, 213-221.

[6]  M. Paštéka and T. Šalát, *Buck's measure density and sets of positive integers containing arithmetic progression*, Math. Slovaca **41** (1991), No. 3, 283-293.

[7] W. Sierpinski, *Sur les fonctions d'ensemble additives et continues*, Fund. Math. **3** (1922), 240-246 (in French).