Let $(X,\mu)$ be a probability measure space and $A$ be a measurable subset of $X$ such that $0 \le \mu(A) < p < 1$. Question ======== When is it true that there exists a measurable $B \subseteq X$ such that $A \subseteq B$ and $\mu(B)=p$ ?