Iterations of quasi-uniform hyperspace constructions

Summary

Given a quasi-uniform space (X,U), we study its Hausdorff quasi-uniformity U_H on the set P₀(X) of nonempty subsets of the set X. In particular we are concerned with the question whether at a certain finite stage iterations of the described Hausdorff hyperspace construction applied to two distinct quasi-uniformities on X will necessarily lead to hyperspaces carrying distinct induced topologies.