  Graphings are special bounded-degree graphs on probability spaces,
representing limits of graph sequences that are convergent in a local or
local-global sense. We describe a procedure for turning the underlying space
into a compact metric space, where the edge set is closed and nearby points
have nearby graph neighborhoods.
