1: \begin{definition}\pont\label{reduced}

2: Given an $\varepsilon$-regular partition of a graph $G = (V, E)$ as

3: provided by Theorem \ref{p1}, we define the {\em reduced graph}

4: $G^R$ as follows. The vertices of $G^R$ are associated to the

5: classes in the partition and the edges are associated to the

6: $\varepsilon$-regular pairs between classes with density above $d$.

7: \end{definition}

8: