Let E be an equivalence relation over a set V. For every v∈V we let$$ \color{red} [v]_{E} \coloneqq \set{v' \in V\ |\ (v, v') \in E}