Two theorems of Efremoviimage in pointfree context1 Original Research Article

The aim of this note is to prove that two uniform frames, with countable bases and the same underlying frame, are equal whenever they have the same totally bounded coreflection. As corollaries we get the localic counterparts of two well-known theorems of Efremoviimage (1952) for uniform spaces.