Completeness in quasi-uniform spaces

We introduce a theory of completeness (the π-completeness) for quasi-uniform spaces which extends the theories of bicompleteness and half-completeness and prove that every quasi-uniform space has a π-completion. This theory is based on a new notion of a Cauchy pair of nets which makes use of couples of nets. We call them cuts of nets and our inspiration is due to the construction of the τ-cut on a quasi-uniform space (cf. [1], [20]). This new version of completeness coincides with bicompletion, half-completion and D-completion in extended subclasses of the class of quasi-uniform spaces.