Definition of Roelcke uniformity Let $(G,\mathcal T)$ be a topological group. The set of all uniformities on $G$ forms a lattice $\frak A$ and the set of all uniformities on $G$ producing $\cal T$, forms a lattice $\frak B$.
The meet of the left and right uniformities of $\cal T$ is called the Roelcke uniformity of $\cal T$. But where is the meet calculated, in $\frak A$ or in $\frak B$?



(cited from Alexander V. Arhangel'skii, Mikhail G. Tkachenko, "Topological groups and related structures", Atlantis Press, Paris; World Sci. Publ., NJ, 2008).
