The prime dicompletion of a di-uniformity on a plain texture

Working within a plain texture ( S , S ) , the authors construct a completion of a dicovering uniformity υ on ( S , S ) in terms of prime S -filters. In case υ is separated, a separated completion is then obtained using the T 0 -quotient, and it is shown that this construction produces a reflector. For a totally bounded di-uniformity it is verified that these constructions lead to dicompactifications of the uniform ditopology. A condition is given under which complementation is preserved on passing to these completions, and an example on the real texture ( R , R , ρ ) is presented.