 That is, a subset formula_33 is open (or closed) in formula_1 if and only if formula_35 is open (or closed) in formula_31 and "A" is saturated.The topological identification is the Kolmogorov quotient.An example of this construction is the completion of a metric space by its Cauchy sequences.