In this paper we extend the notion of a Lebesgue-null set to a notion
which is valid in any completely metrizable Abelian topological group.
We then use this definition to introduce and study the class of essen
tially smooth functions. These are, roughly speaking, those Lipschitz
functions which are smooth (in each direction) almost everywhere.