  We prove that the existence of a Borel lower density operator (a Borel
lifting) with respect to the $\sigma$-ideal of countable sets, for an
uncountable Polish space, is equivalent to the Continuum Hypothesis.
