A representation theorem for quasi-metric spaces

We show that every quasi-metric space is isomorphic to a subspace of the hyperspace of a suitable metric space, endowed with the Hausdorff quasi-metric. Therefore a topological space is quasi-metrizable if and only if it can be embedded in a Hausdorff quasi-metric hyperspace.