The separated uniform space associated with $(X,\mathfrak{U})$ If $\mathfrak{U}$ is a not necessarily separated uniform structure for some set $X$, then an equivalence relation $R$ can be introduced on $X$ by letting $x R y$ provided $(x,y)\in U$ for every $U\in \mathfrak{U}$. Let $\pi: X\rightarrow X/R$  denote the quotient map and put $(Y,\mathfrak{W})= (X/R,\mathfrak{U}/R)$.
$(Y,\mathfrak{W})$ is called he separated uniform space associated with $(X,\mathfrak{U})$.
I am trying to show that $(Y,\mathfrak{W})$ is a hausdorff uniform space.
$\mathfrak{L}=\{ (\pi\times\pi)(M):M\in \mathfrak{U}\}$ is a basis for a uniformity ($\mathfrak{W}$) on $X/R$.
how can we show that: for every $(\pi\times\pi)(M)\in \mathfrak{L}$; $(\pi\times\pi)(N)\circ(\pi\times\pi)(N) \subset  (\pi\times\pi)(M)$ for some $(\pi\times\pi)(N) \in \mathfrak{L}$. 
and why $(\pi\times\pi)^{-1}((\pi\times\pi)(M))= R\circ M\circ R$; for every $M\in \mathfrak{U}$  ?
$(Y,\mathfrak{W})$ Used for construct the hausdorff completion of a hausdorff uniform space $(X,\mathfrak{U})$.
 A: Let $(X,{\frak U})$ be a uniform space. We set $R = \bigcap {\frak U}$. It is a standard exercise to show that $R$ is an equivalence relation.
So we look at the following set:
$${\frak U}/R := \{A\subseteq (X/R)\times (X/R): \exists M\in{\frak U}\big((\pi\times\pi)(M) \subseteq A\big)\}.$$
First we need to verify that $(X/R,{\frak U}/R)$ is a uniform space. By $[x]_R=\pi(x)$ for $x\in X$ we denote the equivalence class (= unique member of $X/R$) that contains $x$.


*

*Let $x\in X$, let $A\in {\frak U}/R$ and show that $([x]_R,[x]_R)\in A$. By definition of ${\frak U}/R$ we have $(\pi\times\pi)(M)\subseteq A$ for some $M\in{\frak U}$, so $(x,x)\in M$ which implies $(\pi(x), \pi(x)) = ([x]_R, [x]_R)\in (\pi\times\pi)(M)\subseteq A$.

*It's easy to see that ${\frak B} := \{(\pi\times\pi)(M): M\in {\frak U}\}$ is a filter base for ${\frak U}$ and therefore ${\frak U}/R$ is a filter.

*Let $A\in {\frak U}/R$ and show that $A^{-1}\in{\frak U}/R$. Let $M\in{\frak U}$ such that $(\pi\times\pi)(M)\subseteq A$. An easy exercise shows that $$\big((\pi\times\pi)(M)\big)^{-1} = (\pi\times\pi)(M^{-1}).$$ So we have 
$(\pi\times\pi)(M^{-1}) = \big((\pi\times\pi)(M)\big)^{-1} \subseteq A^{-1}$, which together with $M^{-1}\in{\frak U}$ directly implies $A^{-1}\in {\frak U}/R$ by definition of ${\frak U}/R$.

*Last we need to show the following: If $A\in {\frak U}/R$ there is $B\in {\frak U}/R$ such that $B\circ B \subseteq A$. Suppose $(\pi\times\pi)(M)\subseteq A$ for $M\in {\frak U}$. Pick $N\in{\frak U}$ with $N\circ N \subseteq M$. We want to prove that 
$$(\pi\times\pi)(N) \circ (\pi\times\pi)(N) \subseteq (\pi\times\pi)(M).$$
Recall that $$(\pi\times\pi)(N) = \{(\pi(x_1), \pi(x_2)): (x_1,x_2) \in N\}.$$
Let $(a,b), (b,c) \in (\pi\times\pi)(N)$. We want to show that $(a,c)\in (\pi\times\pi)(M)$. There are $x_1, x_2, x_3\in X$ such that $\pi(x_1) = a, \pi(x_2) = b, \pi(x_3) = c$ and $(x_1, x_2), (x_2,x_3) \in N$. So by assumption $(x_1, x_3) \in M$ because $N\circ N\subseteq M$, so $(\pi(x_1), \pi(x_3)) = (a,c) \in (\pi\times\pi)(M)$.

