The main purpose of the
present note is to establish a theorem on the existence of maximal elements
in certain partially ordered uniform spaces. The theorem unifies a lemma
of E. Bishop and R. R. Phelps and a number of known extensions of this
lemma.