. . . "If p is a partial metric on X, then the mapping given by defines a metric on X. Furthermore, a sequence converges in a metric space to a point if and only if" .