%$x-y\in {\bf Q}$ \`e una relazione di equivalenza
%la partizione indotta ha la stessa cardinalit\`a di $\bf R}$ ...
%
%la bigezione tra ${\bf R}$ e tale partizione sia $x\mapsto P_x$.
%$P_x$ denso in ${\bf R}$, $P_x\cap P_y =\emptyset $ se $x\not=y \in {\bf R}$,
%$\bigcup_{x\in{\bf R}} P_x={\bf R}:
% per ogni intervallo $I$ e per ogni $x\in {\bf R}$ si ha $P_x\cap
%I\not=\emptyset$. Si definisce $f(z)=x$ se $z\in P_x$.
% per ogni intervallo $I$ la sua immagine \`e tutto ${\bf R}$ e in particolare in ogni
%intervallo vi sono elemnti di $P_0$ e di $P_1$.