1982
We adopt a defintion of distribution function that, although not new, is not common in the literature on probability; we introduce a new metric on the space of distribution functions and show that this space is both complete and compact.