  We show that finiteness of the Lorentzian distance is equivalent to the
existence of generalised time functions with gradient uniformly bounded away
from light cones. To derive this result we introduce new techniques to
construct and manipulate achronal sets. As a consequence of these techniques we
obtain a functional description of the Lorentzian distance extending the work
of Franco and Moretti.
