We can see from (p) and (p) that p(x, y) = implies x = y. However, the converse is not necessarily true. A typical example of this situation is provided by the partial metric space (R,pmax), where the function pmax : R+ × R+ → R+ is defined by pmax(x, y) =max{x, y} for all x, y ∈ R+. Other examples of partial metric spaces which are interesting from a computational point of view may be foun...
