In potential theory, a branch of mathematics, Cartan's lemma, named after Henri Cartan, is a bound on the measure and complexity of the set on which a logarithmic Newtonian potential is small.