On the pointwise domination of a function by its maximal function

We show that under rather general circumstances, the almost everywhere pointwise inequality $\mathrm{\mid }f\mathrm{\mid }(x)\le Mf(x)$ is equivalent to a weak form of the Lebesgue density theorem, for totally bounded closed sets. We derive both positive and negative results from this characterization.