Quasi-uniform completions of partially ordered spaces

In this paper we define partially ordered quasi-uniform spaces (X, , ≤) (PO-quasi-uniform spaces) as those space with a biconvex quasi-uniformity on the poset (X, ≤) and give a construction of a (transitive) biconvex compatible quasi-uniformity on a partially ordered topological space when its topology satisfies certain natural conditions. We also show that under certain conditions on the topology of a PO-quasi-uniform space (X, , ≤), the bicompletion of (X, ) is also a PO-quasi-uniform space ( , ⪯) with a partial order ⪯ on that extends ≤ in a natural way.