De hecho, la gráfica de la relación de equivalencia formula_166, definida como formula_167 si y solo si formula_168 es la intersección de todos los "entourages" de formula_1.